Symbol: MSR_VMX_EPT_VPID_CAP
sys/amd64/vmm/intel/ept.c
81
cap = rdmsr(MSR_VMX_EPT_VPID_CAP);
sys/x86/x86/identcpu.c
2644
msr = rdmsr(MSR_VMX_EPT_VPID_CAP);