Constant K_SYSCALL_COUNTER_US_TO_TICKS 

pub const K_SYSCALL_COUNTER_US_TO_TICKS: u32 = 285;