17#ifndef SBL_COMMON_DIAGNOSTICS_TICKS_HPP_
18#define SBL_COMMON_DIAGNOSTICS_TICKS_HPP_
21#include <sbl/hw/config/timing.hpp>
29inline uint32_t
ticks() {
return sbl::hw::timing::read(); }
32inline constexpr uint32_t
tick_rate() {
return sbl::hw::timing::rate(); }
Diagnostics and profiling.
uint32_t ticks()
Read current tick count (free-running, wraps at 2^32).
constexpr uint32_t tick_rate()
Tick rate in Hz (ticks per second).
void ticks_init()
Initialize the platform timing backend. Call once at startup.
TickScope(volatile uint32_t &out)
volatile uint32_t & result_