Constant K_SYSCALL_COUNTER_CANCEL_CHANNEL_ALARM 

pub const K_SYSCALL_COUNTER_CANCEL_CHANNEL_ALARM: u32 = 254;