Constant K_SYSCALL_COUNTER_GET_PENDING_INT

pub const K_SYSCALL_COUNTER_GET_PENDING_INT: u32 = 240;