Symbol: rdc_wdtimer_configure
sys/arch/x86/pci/rdcpcib.c
134
rdc_wdtimer_configure(self);
sys/arch/x86/pci/rdcpcib.c
81
static void rdc_wdtimer_configure(device_t);