Symbol: tdx_map_gpa