Intel 64 and IA-32 Architectures Software Developers Manual Volume 3B, System Programming Guide Part 2

Table Of Contents
Vol. 3 28-13
HANDLING BOUNDARY CONDITIONS IN A VIRTUAL MACHINE MONITOR
NOTE
The state saved in the guest-state area on VM exits due to machine-
check exceptions should be considered suspect. A VMM should
consult the RIPV and EIPV bits in the IA32_MCG_STATUS MSR before
resuming a guest that caused a VM exit due to a machine-check
exception.
28.5 HANDLING ACTIVITY STATES BY VMM
A VMM might place a logic processor in the wait-for-SIPI activity state if supporting
certain guest operating system using the multi-processor (MP) start-up algorithm. A
guest with direct access to the physical local APIC and using the MP start-up algo-
rithm sends an INIT-SIPI-SIPI IPI sequence to start the application processor. In
order to trap the SIPIs, the VMM must start the logic processor which is the target of
the SIPIs in wait-for-SIPI mode.