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);