Symbol: MSR_IA32_VMX_EPT_VPID_CAP
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3682
msr = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3857
msr = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);