Lines Matching refs:timer_divisor
533 / (APIC_BUS_CYCLE_NS * vlapic->hw.timer_divisor)); in vlapic_get_tmcct()
560 vlapic->hw.timer_divisor = 1 << (val & 7); in vlapic_set_tdcr()
563 "timer_divisor: %d", vlapic->hw.timer_divisor); in vlapic_set_tdcr()
721 if ( vlapic->hw.timer_divisor != old_divisor ) in vlapic_update_timer()
724 * APIC_BUS_CYCLE_NS * vlapic->hw.timer_divisor; in vlapic_update_timer()
725 delta = delta * vlapic->hw.timer_divisor / old_divisor; in vlapic_update_timer()
833 vlapic_update_timer(vlapic, val, false, vlapic->hw.timer_divisor); in vlapic_reg_write()
863 vlapic->hw.timer_divisor); in vlapic_reg_write()
868 uint32_t current_divisor = vlapic->hw.timer_divisor; in vlapic_reg_write()
875 vlapic->hw.timer_divisor); in vlapic_reg_write()
1391 (uint32_t)tmict * s->hw.timer_divisor); in lapic_rearm()