VmxMechanisms.h

Go to the documentation of this file.

 
#pragma once
 
//                  Constants                   //
 
#define IMMEDIATE_VMEXIT_MECHANISM_VECTOR_FOR_SELF_IPI IPI_INTERRUPT
 
//                  Functions                   //
 
VOID
VmxMechanismCreateImmediateVmexit(VIRTUAL_MACHINE_STATE * VCpu);
 
VOID
VmxMechanismHandleImmediateVmexit(VIRTUAL_MACHINE_STATE * VCpu);