GUEST_PHYSICAL_ADDRESS
EVMCS1_FIELD(GUEST_PHYSICAL_ADDRESS, guest_physical_address,
FIELD64(GUEST_PHYSICAL_ADDRESS, guest_physical_address),
SHADOW_FIELD_RO(GUEST_PHYSICAL_ADDRESS, guest_physical_address)
gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS);
gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS);
case GUEST_PHYSICAL_ADDRESS:
case GUEST_PHYSICAL_ADDRESS: