500 	 * For LVT Timer clock, SDM vol 3 10.5.4 says it should be  in test_apic_timer_one_shot()
503 	 * cases, the following should satisfy on all modern  in test_apic_timer_one_shot()
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()
615 	 * Write TMICT before changing mode from one-shot to periodic TMCCT should  in test_apic_change_mode()
621 	report(apic_read(APIC_TMCCT), "TMCCT should have a non-zero value");  in test_apic_change_mode()
624 	 * After the change of mode, the counter should not be reset and continue  in test_apic_change_mode()
628 	       "TMCCT should not be reset to TMICT value");  in test_apic_change_mode()
636 	       "TMCCT should be reset to the initial-count");  in test_apic_change_mode()
641 	 * TMCCT should be > 0 and count-down to 0  in test_apic_change_mode()
645 	       "TMCCT should not be reset to init");  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()
767 		 * should be ignored.  vCPU is always targeted, i.e. should get  in test_logical_ipi_xapic()
956 		   "APIC should be fully enabled by startup code.");  in main()