Lines Matching full:visited
1572 std::set<CacheAddr> visited;1579 if (visited.find(address.value()) != visited.end()) {1586 visited.insert(address.value());1625 visited.clear();