Constant K_SYSCALL_K_FUTEX_WAKE 

pub const K_SYSCALL_K_FUTEX_WAKE: u32 = 32;