Symbol: __tdx_map_gpa