ENABLE_W83877F_PORT
outb_p(ENABLE_W83877F, ENABLE_W83877F_PORT);
outb_p(ENABLE_W83877F, ENABLE_W83877F_PORT);
outb_p(WDT_REGISTER, ENABLE_W83877F_PORT);
outb_p(writeval, ENABLE_W83877F_PORT+1);
outb_p(DISABLE_W83877F, ENABLE_W83877F_PORT);
release_region(ENABLE_W83877F_PORT, 2);
if (!request_region(ENABLE_W83877F_PORT, 2, "W83877F WDT")) {
ENABLE_W83877F_PORT);
release_region(ENABLE_W83877F_PORT, 2);