Constant K_SYSCALL_COUNTER_TICKS_TO_NS_64 

pub const K_SYSCALL_COUNTER_TICKS_TO_NS_64: u32 = 282;