VMCS_GUEST_PHYSICAL_ADDRESS
VMCS_IDENT(VMCS_GUEST_PHYSICAL_ADDRESS),
VMCS_GUEST_PHYSICAL_ADDRESS, &u64);
gpa = vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS);