Searched defs:margin_ticks (Results 1 – 5 of 5) sorted by relevance
113 const uint_t margin_ticks = MAX(1, PMTMR_TARGET_TICKS / 10000); in main() local
107 const uint_t margin_ticks = MAX(1, ATPIT_TARGET_TICKS / 2500); in main() local
108 const uint_t margin_ticks = MAX(1, HPET_TARGET_TICKS / 10000); in main() local
99 const uint_t margin_ticks = MAX(1, LAPIC_TARGET_TICKS / 5000); in test_for_divisor() local
104 const uint_t margin_ticks = MAX(1, LAPIC_TARGET_TICKS / 5000); in run_test() local