10#define NEXUS_OS_TICK_H
Explicit continuous-clock tickless timer port.
void nx_freertos_external_tick_setup(uint32_t tick_hz)
Configure the application's selected kernel Tick source.
uint32_t nx_freertos_runtime_counter_now(void)
Read the diagnostic counter without blocking.
void nx_freertos_runtime_counter_start(void)
Start the explicitly selected diagnostic counter.