/* platform_finish - switch the machine to the normal mode of operation using the platform driver (must be called after platform_prepare())  */
static void platform_finish(int platform_mode)
/* platform_finish - switch the machine to the normal mode of operation using the platform driver (must be called after platform_prepare())  */
static void platform_finish(int platform_mode)
{
	if (platform_mode && hibernation_ops)
		hibernation_ops->finish();
}