WDT_COUNT0
outb_p(val&0xFF, WDT_COUNT0+ctr);
outb_p(val>>8, WDT_COUNT0+ctr);
outb(val & 0xFF, WDT_COUNT0 + ctr);
outb(val >> 8, WDT_COUNT0 + ctr);