Symbol: HCALL_REGION_GPA