inline int get_timer0()
{
int t0,t1;
outb(0,PIT_MODE);
t0=(int) inb(PIT_COUNTER_0);
t1=((int) inb(PIT_COUNTER_0)<< 8) + t0;
return(t1);
}
