Constant K_SYSCALL_MBOX_MAX_CHANNELS_GET 

pub const K_SYSCALL_MBOX_MAX_CHANNELS_GET: u32 = 416;