TIMER_ID_COUNTER

kernel0.16.0

In kernel::timer

kernel::timer

Static TIMER_ID_COUNTER

Source

static TIMER_ID_COUNTER: AtomicU64