Constant K_SYSCALL_COUNTER_GET_PENDING_INT 

pub const K_SYSCALL_COUNTER_GET_PENDING_INT: u32 = 262;