Lines Matching refs:APIC_TMCCT
557 uint32_t tmcct = apic_read(APIC_TMCCT); in wait_until_tmcct_common()
561 tmcct = apic_read(APIC_TMCCT); in wait_until_tmcct_common()
568 tmcct = apic_read(APIC_TMCCT); in wait_until_tmcct_common()
572 tmcct = apic_read(APIC_TMCCT); in wait_until_tmcct_common()
609 report(apic_read(APIC_TMCCT), "TMCCT should have a non-zero value"); in test_apic_change_mode()
612 report(!apic_read(APIC_TMCCT), "TMCCT should have reached 0"); in test_apic_change_mode()
621 report(apic_read(APIC_TMCCT), "TMCCT should have a non-zero value"); in test_apic_change_mode()
627 report(apic_read(APIC_TMCCT) < (tmict / 2), in test_apic_change_mode()
635 report(apic_read(APIC_TMCCT) > (tmict / 2), in test_apic_change_mode()
644 report(apic_read(APIC_TMCCT) < (tmict / 2), in test_apic_change_mode()
647 report(!apic_read(APIC_TMCCT), "TMCCT should have reach zero"); in test_apic_change_mode()
651 report(!apic_read(APIC_TMCCT), "TMCCT should stay at zero"); in test_apic_change_mode()