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