Searched refs:PIT_WRAPAROUND_MS (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/kernel/include/plat/pc99/plat/machine/
H A Dpit.h10 #define PIT_WRAPAROUND_MS 50 macro
/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dpit.c20 uint16_t divisor = (PIT_HZ * PIT_WRAPAROUND_MS) / 1000;
H A Dhardware.c63 return (uint32_t)diff / PIT_WRAPAROUND_MS;
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dapic.c33 return (0xffffffff - apic_read_reg(APIC_TIMER_CURRENT)) / PIT_WRAPAROUND_MS;

Completed in 49 milliseconds