void platform_spin_delay_us(unsigned period);
platform_spin_delay_us delays execution by busy-waiting for at least period microseconds.
platform_spin_delay_cycles, platform_spin_delay_ms