arch/x86/timing.c

129     uint16_t oldcnt = pit_timer0_read();
134         if(cnt <= oldcnt) {
135             ticks += oldcnt - cnt;
137             ticks += oldcnt + (0xffff - cnt);
139         oldcnt = cnt;
168     uint16_t oldcnt = pit_timer0_read_lsb();
173         if (cnt <= oldcnt) {
174             ticks += oldcnt - cnt;
176             ticks += oldcnt + 256 - cnt;
178         oldcnt = cnt;
216     uint32_t oldcnt = apic_timer_get_count();
222             if(cnt <= oldcnt) {
223                 ticks += oldcnt - cnt;
225                 ticks += oldcnt + (UINT32_MAX - cnt);
227             oldcnt = cnt;