Constant K_SYSCALL_UART_IRQ_IS_PENDING 

pub const K_SYSCALL_UART_IRQ_IS_PENDING: u32 = 130;