Searched refs:tmict (Results 1 – 1 of 1) sorted by relevance
529 uint32_t tmcct = 0, tmict = vlapic_get_reg(vlapic, APIC_TMICT); in vlapic_get_tmcct() local536 if ( tmict && vlapic->timer_last_update ) in vlapic_get_tmcct()539 counter_passed %= tmict; in vlapic_get_tmcct()540 if ( counter_passed < tmict ) in vlapic_get_tmcct()541 tmcct = tmict - counter_passed; in vlapic_get_tmcct()547 tmict, tmcct, counter_passed); in vlapic_get_tmcct()1375 unsigned long tmict; in lapic_rearm() local1387 if ( (tmict = vlapic_get_reg(s, APIC_TMICT)) == 0 ) in lapic_rearm()1391 (uint32_t)tmict * s->hw.timer_divisor); in lapic_rearm()
Completed in 4 milliseconds