Lines Matching defs:recent
65 // Mini cache of recent lookups.
66 PageIt recent[2];
69 /// Update the mini cache of recent lookups.
70 /// @param recentest The most recent result;
74 recent[1] = recent[0];
75 recent[0] = recentest;
79 /// address. First check the small cache of recent results, then
87 // Check against recent lookups.
88 if (recent[0] != pageMap.end()) {
89 if (recent[0]->first == page_addr)
90 return recent[0]->second;
91 if (recent[1] != pageMap.end() &&
92 recent[1]->first == page_addr) {
93 update(recent[1]);
94 // recent[1] has just become recent[0].
95 return recent[0]->second;
118 recent[0] = recent[1] = pageMap.end();