void platform_spin_delay_us(unsigned period);
platform_spin_delay_us delays execution by busy-waiting for at least period microseconds. The user is responsible for implementing this, or including the Platform Library into the application which implements this.