Symbol: pmc_wdog_cb
sys/arch/sparc64/dev/pmc.c
103
wdog_register(pmc_wdog_cb, sc);
sys/arch/sparc64/dev/pmc.c
54
int pmc_wdog_cb(void *, int);