Searched refs:count_old (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/plat/pc99/machine/
A D	pit.c	30 uint16_t count_old; in pit_wait_wraparound() local 35 count_old = count; in pit_wait_wraparound() 37 while (count <= count_old) { in pit_wait_wraparound() 38 count_old = count; in pit_wait_wraparound()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023