Symbol: geode_wdog_reset
sys/arch/i386/pci/geodewdg.c
159
geode_wdog_reset(sc);
sys/arch/i386/pci/geodewdg.c
204
geode_wdog_reset(sc);