Constant K_SYSCALL_PS2_CONFIG

pub const K_SYSCALL_PS2_CONFIG: u32 = 413;