/* Wait until the number of ticks has elapsed. This is a blocking delay. */
void os_cputime_delay_ticks(uint32_t ticks)
/* Wait until the number of ticks has elapsed. This is a blocking delay. */
void os_cputime_delay_ticks(uint32_t ticks)
{
    uint32_t until;
    until = os_cputime_get32() + ticks;
    while ((int32_t)(os_cputime_get32() - until) < 0) {
    }
}