Symbol: IA32_VMX_EPT_VPID_WB
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3700
if (!(msr & IA32_VMX_EPT_VPID_UC) && !(msr & IA32_VMX_EPT_VPID_WB)) {
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3868
if ((msr & IA32_VMX_EPT_VPID_WB) != 0) {