480 	 * For LVT Timer clock, SDM vol 3 10.5.4 says it should be  in test_apic_timer_one_shot()
483 	 * cases, the following should satisfy on all modern  in test_apic_timer_one_shot()
589 	report(apic_read(APIC_TMCCT), "TMCCT should have a non-zero value");  in test_apic_change_mode()
592 	report(!apic_read(APIC_TMCCT), "TMCCT should have reached 0");  in test_apic_change_mode()
595 	 * Write TMICT before changing mode from one-shot to periodic TMCCT should  in test_apic_change_mode()
601 	report(apic_read(APIC_TMCCT), "TMCCT should have a non-zero value");  in test_apic_change_mode()
604 	 * After the change of mode, the counter should not be reset and continue  in test_apic_change_mode()
608 	       "TMCCT should not be reset to TMICT value");  in test_apic_change_mode()
616 	       "TMCCT should be reset to the initial-count");  in test_apic_change_mode()
621 	 * TMCCT should be > 0 and count-down to 0  in test_apic_change_mode()
625 	       "TMCCT should not be reset to init");  in test_apic_change_mode()
627 	report(!apic_read(APIC_TMCCT), "TMCCT should have reach zero");  in test_apic_change_mode()
631 	report(!apic_read(APIC_TMCCT), "TMCCT should stay at zero");  in test_apic_change_mode()
747 		 * should be ignored.  vCPU is always targeted, i.e. should get  in test_logical_ipi_xapic()
936 		   "APIC should be fully enabled by startup code.");  in main()