Symbol: gt_watchdog_reset
sys/arch/evbppc/ev64260/machdep.c
369
gt_watchdog_reset();
sys/dev/marvell/gtvar.h
54
void gt_watchdog_reset(void);