Symbol: geodesc_wdogctl_cb
sys/arch/i386/pci/geodesc.c
125
wdog_register(geodesc_wdogctl_cb, sc);
sys/arch/i386/pci/geodesc.c
48
int geodesc_wdogctl_cb(void *, int);