Constant K_SYSCALL_K_FUTEX_WAIT 

pub const K_SYSCALL_K_FUTEX_WAIT: u32 = 31;