Symbol: bcmwd_reboot_system
sys/arm/broadcom/bcm2835/bcm2835_wdog.c
153
EVENTHANDLER_REGISTER(shutdown_final, bcmwd_reboot_system, sc,
sys/arm/broadcom/bcm2835/bcm2835_wdog.c
96
static void bcmwd_reboot_system(void *, int);