Constant K_SYSCALL_DEVMUX_SELECT_SET 

pub const K_SYSCALL_DEVMUX_SELECT_SET: u32 = 304;