Constant K_SYSCALL_UART_IRQ_RX_ENABLE 

pub const K_SYSCALL_UART_IRQ_RX_ENABLE: u32 = 132;