Symbol: VMCS_GUEST_VPID
sys/arch/amd64/amd64/vmm_machdep.c
2266
if (vmwrite(VMCS_GUEST_VPID, vcpu->vc_vpid)) {
sys/arch/amd64/amd64/vmm_machdep.c
7611
vmx_dump_vmcs_field(VMCS_GUEST_VPID, "VPID");