Constant K_SYSCALL_COUNTER_TICKS_TO_NS 

pub const K_SYSCALL_COUNTER_TICKS_TO_NS: u32 = 281;