VMCS_GUEST_PHYSICAL_ADDRESS
vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS));
#define vmcs_gpa() vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)
VMCS_IDENT(VMCS_GUEST_PHYSICAL_ADDRESS),
VMCS_GUEST_PHYSICAL_ADDRESS, &u64);