Constant K_SYSCALL_PS2_READ

pub const K_SYSCALL_PS2_READ: u32 = 416;