void statistics_init(void)
Initializes the statistics driver.
void statistics_interrupt_begin(interrupt_frame_t *frame, cpu_t *self)
Called at the beginning of an interrupt.
void statistics_cpu_ctx_init(statistics_cpu_ctx_t *ctx)
Initializes a per-CPU statistics context.
void statistics_interrupt_end(interrupt_frame_t *frame, cpu_t *self)
Called at the end of an interrupt.
__UINT64_TYPE__ clock_t
A nanosecond time.
A simple ticket lock implementation.
Per-CPU statistics context.