/trunk/kernel/arch/ia64/src/drivers/it.c |
---|
78,25 → 78,20 |
m=itm_read(); |
while(1) |
{ |
while (1) { |
c=itc_read(); |
c+=IT_SERVICE_CLOCKS; |
m+=IT_DELTA; |
if(m-c<0) |
{ |
CPU->missed_clock_ticks++; |
else |
break; |
} |
else break; |
} |
itm_write(m); |
srlz_d(); /* propagate changes */ |
clock(); |
poll_keyboard(); |
} |
103,4 → 98,3 |
/** @} |
*/ |