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