/* System shutdown handler. Turn off the watchdog if we're restarting or halting the system.  */
static void mpcore_wdt_shutdown(struct platform_device *dev)
/* System shutdown handler. Turn off the watchdog if we're restarting or halting the system.  */
static void mpcore_wdt_shutdown(struct platform_device *dev)
{
	struct mpcore_wdt *wdt = platform_get_drvdata(dev);
	if (system_state == SYSTEM_RESTART || system_state == SYSTEM_HALT)
		mpcore_wdt_stop(wdt);
}