WDCFG             174 drivers/watchdog/pc87413_wdt.c 	outb_p(inb(swc_base_addr + WDCFG) | 0x80, swc_base_addr + WDCFG);
WDCFG             185 drivers/watchdog/pc87413_wdt.c 	outb_p(inb(swc_base_addr + WDCFG) & 0x7f, swc_base_addr + WDCFG);