Constant K_SYSCALL_COUNTER_SET_CHANNEL_ALARM 

pub const K_SYSCALL_COUNTER_SET_CHANNEL_ALARM: u32 = 271;