Searched refs:init_cnt (Results 1 – 1 of 1) sorted by relevance
34 static __always_inline void apic_timer_set_init_cnt(uint32_t init_cnt) in apic_timer_set_init_cnt() argument37 wrmsr(0x838, init_cnt); in apic_timer_set_init_cnt()39 …write4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_INITIAL_COUNT_REG, init_cnt); in apic_timer_set_init_cnt()