Symbol: __bcm2835_restart
drivers/watchdog/bcm2835_wdt.c
121
__bcm2835_restart(wdt);
drivers/watchdog/bcm2835_wdt.c
168
__bcm2835_restart(wdt);