Constant COD_AUDIO_MINOR_SET_TOP_BOX 

pub const COD_AUDIO_MINOR_SET_TOP_BOX: u32 = 9u32;