Symbol: GUEST_PHYSICAL_ADDRESS_HIGH