Symbol: mem_map_via_hcall