Constant K_SYSCALL_PS2_WRITE

pub const K_SYSCALL_PS2_WRITE: u32 = 417;