Constant K_SYSCALL_COUNTER_GET_NUM_OF_CHANNELS

pub const K_SYSCALL_COUNTER_GET_NUM_OF_CHANNELS: u32 = 239;