sys/dev/nvmm/x86/nvmm_x86_vmx.c

2323

struct ept_desc ept_desc;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2329

ept_desc.eptp = vmx_vmread(VMCS_EPTP);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2330

ept_desc.mbz = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2331

vmx_invept(vmx_ept_flush_op, &ept_desc);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2338

struct ept_desc ept_desc;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2348

ept_desc.eptp = vmx_vmread(VMCS_EPTP);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2349

ept_desc.mbz = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2350

vmx_invept(vmx_ept_flush_op, &ept_desc);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

84

vmx_invept(uint64_t op, struct ept_desc *desc)