/* platform_leave - prepare the machine for switching to the normal mode of operation using the platform driver (called with interrupts disabled)  */
static void platform_leave(int platform_mode)
/* platform_leave - prepare the machine for switching to the normal mode of operation using the platform driver (called with interrupts disabled)  */
static void platform_leave(int platform_mode)
{
	if (platform_mode && hibernation_ops)
		hibernation_ops->leave();
}