vmcs_intel_x64_promote.h File Reference

Go to the source code of this file.

Functions
void	vmcs_promote (uintptr_t state_save)

Function Documentation

vmcs_promote()

void vmcs_promote

(

uintptr_t

state_save

)

Promote VMCS

Promote the guest described by this VMCS to VMX-root operation. In the process of doing this, the VMM's state is lost.

Note

this function does not return