// This is called from inside platform_enter_critical - IRQs can't happen uint16_t platform_timer_get_remaining_slots(void) { uint32_t elapsed = timer->read_us(); if (elapsed < due) { return (uint16_t) ((due - elapsed) / 50); } else { return 0; } }
static uint32_t read_current_time(void) { return timer->read_us(); }