Searched refs:device_map_ (Results 1 – 1 of 1) sorted by relevance
1162 if (device_map_.find(entry->blk_device) == device_map_.end()) { in Revert()1167 entry->blk_device = device_map_[bow_device]; in Revert()1168 device_map_.erase(bow_device); in Revert()1244 device_map_[name] = entry->blk_device; in UpdateCheckpointPartition()1254 std::map<std::string, std::string> device_map_; member in CheckpointManager