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