vmcs_intel_x64_launch.h File Reference

Go to the source code of this file.

Functions
void	vmcs_launch (state_save_intel_x64 *state_save)

Function Documentation

vmcs_launch()

void vmcs_launch

(

state_save_intel_x64 *

state_save

)

Launch VMCS

Performs a VMLAUNCH, executing the guest described by this VMCS. This function can be executed by the exit handler when it is done emulating and instruction, or it can be executed to schedule another guest