Constant K_SYSCALL_COUNTER_TICKS_TO_US 

pub const K_SYSCALL_COUNTER_TICKS_TO_US: u32 = 283;