| /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 |
| /** @} |
| */ |