TIMER_CNTR0
KASSERT(port >= TIMER_CNTR0 && port <= TIMER_CNTR2,
c = &vatpit->channel[port - TIMER_CNTR0];
if (port == TIMER_CNTR0) {
[TIMER_CNTR0] = vatpit_handler,
low = inb(TIMER_CNTR0);
high = inb(TIMER_CNTR0);
outb(TIMER_CNTR0, 0);
outb(TIMER_CNTR0, 0);
outb(TIMER_CNTR0, new_count & 0xff);
outb(TIMER_CNTR0, new_count >> 8);
outb(TIMER_CNTR0, new_count & 0xff);
outb(TIMER_CNTR0, new_count & 0xff);
outb(TIMER_CNTR0, new_count >> 8);
low = inb(TIMER_CNTR0);
high = inb(TIMER_CNTR0);