Constant K_SYSCALL_COUNTER_GET_NUM_OF_CHANNELS 

pub const K_SYSCALL_COUNTER_GET_NUM_OF_CHANNELS: u32 = 261; // 261u32