Searched refs:oldcnt (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/arch/x86/
H A Dtiming.c129 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(); local
173 if (cnt <= oldcnt) {
174 ticks += oldcnt - cnt;
176 ticks += oldcnt + 256 - cnt;
178 oldcnt
216 uint32_t oldcnt = apic_timer_get_count(); local
[all...]
/barrelfish-master/usr/bench/rcce/pingpong/
H A DRCCE_pingpong.c51 char oldcnt = buffer[0]; local
58 if((++oldcnt) != buffer[0]) {
60 buffer[0], oldcnt);

Completed in 86 milliseconds