tree bc6d508815775a5b629c036bc7b82aa5dbb35670
parent f32183f55d7c91d22aac82830cef91dcd82cbb80
author Yadong Qi <yadong.qi@intel.com> 1602566925 +0800
committer Paolo Bonzini <pbonzini@redhat.com> 1605806815 -0500

x86: vmx: Add test for SIPI signal processing

The test verifies the following functionality:
A SIPI signal received when CPU is in VMX non-root mode:
    if ACTIVITY_STATE == WAIT_SIPI
        VMExit with (reason == 4)
    else
        SIPI signal is ignored

The test cases depends on IA32_VMX_MISC:bit(8), if this bit is 1
then the test cases would be executed, otherwise the test cases
would be skiped.

Signed-off-by: Yadong Qi <yadong.qi@intel.com>
Message-Id: <20201013052845.249113-1-yadong.qi@intel.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>