Lines Matching full:should
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()