vmcs_intel_x64_resume.h File Reference

Go to the source code of this file.

Functions
void	vmcs_resume (state_save_intel_x64 *state_save)

Function Documentation

vmcs_resume()

void vmcs_resume

(

state_save_intel_x64 *

state_save

)

Resume VMCS

Performs a VMRESUME, 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