Home
last modified time | relevance | path

Searched refs:IA32_VMX_EPT_VPID_INVVPID (Results 1 – 1 of 1) sorted by relevance

/dragonfly/sys/dev/virtual/nvmm/x86/
HDnvmm_x86_vmx.c232 #define IA32_VMX_EPT_VPID_INVVPID __BIT(32) macro
3438 if ((msr & IA32_VMX_EPT_VPID_INVVPID) == 0) { in vmx_ident()