52 #define RTT_HW_COUNTER_MAX ((1ULL << 48) - 1)
67 uint64_t (*get_counter)(void);
75 void (*set_alarm)(uint32_t alarm,
rtt_cb_t cb,
void *arg);
80 void (*clear_alarm)(void);
85 void (*save_counter)(void);
92 void (*restore_counter)(
bool in_init);
97 void (*poweron)(void);
102 void (*poweroff)(void);