Constant K_SYSCALL_COUNTER_GET_FREQUENCY 

pub const K_SYSCALL_COUNTER_GET_FREQUENCY: u32 = 255;