Symbol: bcm2835_restart
sys/arch/arm/broadcom/bcm2835_pmwdog.c
234
bcm2835_restart(sc, 0);
sys/arch/arm/broadcom/bcm2835_pmwdog.c
242
bcm2835_restart(sc, 0);
sys/arch/arm/broadcom/bcm2835_pmwdog.c
254
bcm2835_restart(sc, 63);