Constant K_SYSCALL_COUNTER_SET_CHANNEL_ALARM_64 

pub const K_SYSCALL_COUNTER_SET_CHANNEL_ALARM_64: u32 = 272; // 272u32