Constant K_SYSCALL_K_MSGQ_NUM_USED_GET 

pub const K_SYSCALL_K_MSGQ_NUM_USED_GET: u32 = 38;