Searched refs:mappings_to_delete (Results 1 – 1 of 1) sorted by relevance
49 MappingList mappings_to_delete; in MapWithID() local63 mappings_to_delete.push_back(*iter); in MapWithID()66 while (!mappings_to_delete.empty()) { in MapWithID()67 const MappedRange& range = mappings_to_delete.front(); in MapWithID()69 mappings_to_delete.pop_front(); in MapWithID()