Home
last modified time | relevance | path

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

/seL4-master/src/plat/pc99/machine/
A Dhardware.c56 pit_wait_wraparound(); in measure_tsc_khz()
128 pit_wait_wraparound(); in tsc_init()
A Dpit.c27 BOOT_CODE void pit_wait_wraparound(void) in pit_wait_wraparound() function
/seL4-master/src/arch/x86/kernel/
A Dapic.c23 pit_wait_wraparound(); in apic_measure_freq()
30 pit_wait_wraparound(); in apic_measure_freq()
/seL4-master/include/plat/pc99/plat/machine/
A Dpit.h13 void pit_wait_wraparound(void);

Completed in 6 milliseconds