Symbol: VMCS_GUEST_PHYSICAL_ADDRESS
sys/arch/amd64/amd64/vmm_machdep.c
5177
if (vmread(VMCS_GUEST_PHYSICAL_ADDRESS, &gpa)) {
sys/arch/amd64/amd64/vmm_machdep.c
7788
vmx_dump_vmcs_field(VMCS_GUEST_PHYSICAL_ADDRESS,