IA32_VMX_EPT_VPID_CAP - OpenBSD

Symbol: IA32_VMX_EPT_VPID_CAP

sys/arch/amd64/amd64/cpu.c

if (rdmsr_safe(IA32_VMX_EPT_VPID_CAP, &msr) == 0 &&

sys/arch/amd64/amd64/vmm_machdep.c

msr = rdmsr(IA32_VMX_EPT_VPID_CAP);