Symbol: WDCTL
drivers/watchdog/pc87413_wdt.c
164
outb_p(inb(swc_base_addr + WDCTL) | 0x01, swc_base_addr + WDCTL);
drivers/watchdog/pc87413_wdt.c
196
outb_p(inb(swc_base_addr + WDCTL) | 0x80, swc_base_addr + WDCTL);
drivers/watchdog/pc87413_wdt.c
207
outb_p(inb(swc_base_addr + WDCTL) & 0x7f, swc_base_addr + WDCTL);