Constant K_SYSCALL_UART_IRQ_TX_ENABLE 

pub const K_SYSCALL_UART_IRQ_TX_ENABLE: u32 = 144;