Symbol: rdc_wdtimer_unconfigure
sys/arch/x86/pci/rdcpcib.c
150
if ((rc = rdc_wdtimer_unconfigure(self, flags)) != 0)
sys/arch/x86/pci/rdcpcib.c
82
static int rdc_wdtimer_unconfigure(device_t, int);