Symbol: hv_do_map_gpa_hcall