Constant K_SYSCALL_PS2_READ 

pub const K_SYSCALL_PS2_READ: u32 = 456; // 456u32