Constant K_SYSCALL_K_STACK_PUSH 

pub const K_SYSCALL_K_STACK_PUSH: u32 = 80;