Home
last modified time | relevance | path

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

/dragonfly/sys/dev/virtual/nvmm/x86/
H A Dnvmm_x86_vmx.c219 #define MSR_IA32_VMX_EPT_VPID_CAP 0x048C macro
3429 msr = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); in vmx_ident()
3560 msr = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); in vmx_init()