void platform_reboot(void);
platform_reboot resets the microcontroller and starts a cold boot. Note that a reset using platform_reboot may be detectable as a software reset using platform_reset_cause after the microcontroller resets.
platform_reset_cause