Constant K_SYSCALL_COUNTER_US_TO_TICKS_64 

pub const K_SYSCALL_COUNTER_US_TO_TICKS_64: u32 = 286;