Constant K_SYSCALL_K_MSGQ_PUT 

pub const K_SYSCALL_K_MSGQ_PUT: u32 = 42;