Searched refs:apic_timer_set_init_cnt (Results 1 – 3 of 3) sorted by relevance
62 apic_timer_set_init_cnt(*(uint64_t *)arg); in apic_timer_install()
34 static __always_inline void apic_timer_set_init_cnt(uint32_t init_cnt) in apic_timer_set_init_cnt() function
156 apic_timer_set_init_cnt(0xFFFFFFFF); in HPET_measure_freq()