__bcm2835_restart  120 drivers/watchdog/bcm2835_wdt.c 	__bcm2835_restart(wdt);
__bcm2835_restart  167 drivers/watchdog/bcm2835_wdt.c 	__bcm2835_restart(wdt);