Constant K_SYSCALL_COUNTER_NS_TO_TICKS_64 

pub const K_SYSCALL_COUNTER_NS_TO_TICKS_64: u32 = 269;