void timing_provider_delay(long delay_us)
Perform tight busy-wait delay.
Definition systick.c:63
void timing_provider_schedule(long delay_us)
Schedule next timer callback to kernel.
Definition systick.c:52
long timing_get_current_cpu_freq(void)
Provide information on the current CPU speed.
Definition clock.c:89
long os_sched_timing_callback(long delay_us)
Kernel callback for timing provider.
Definition sched.c:159
static void delay_us(uint32_t period_us)
Perform short busy wait.
Definition timer.c:225