Searched refs:tmcct (Results 1 – 1 of 1) sorted by relevance
529 uint32_t tmcct = 0, tmict = vlapic_get_reg(vlapic, APIC_TMICT); in vlapic_get_tmcct() local541 tmcct = tmict - counter_passed; in vlapic_get_tmcct()547 tmict, tmcct, counter_passed); in vlapic_get_tmcct()549 return tmcct; in vlapic_get_tmcct()
Completed in 4 milliseconds