Constant K_SYSCALL_COUNTER_US_TO_TICKS

pub const K_SYSCALL_COUNTER_US_TO_TICKS: u32 = 252;