WDT_PING
_DEF_FEAT(WDT_PING, "watchdog pinging"),
WCHDG_CR, WDT_PING_MASK, WDT_PING);
inb_p(WDT_PING);
inb_p(WDT_PING);
release_region(WDT_PING, 1);
if (!request_region(WDT_PING, 1, "W8387FF WDT")) {
pr_err("I/O address 0x%04x already in use\n", WDT_PING);
release_region(WDT_PING, 1);