Lines Matching defs:mri
387 MemRegion mri = mr.intersection(_covered[i]);
388 if (!mri.is_empty()) dirty_MemRegion(mri);
408 MemRegion mri = mr.intersection(_covered[i]);
409 if (!mri.is_empty()) clear_MemRegion(mri);
424 MemRegion mri = mr.intersection(_covered[i]);
425 if (!mri.is_empty()) {
427 for (cur_entry = byte_for(mri.start()), limit = byte_for(mri.last());
450 MemRegion mri = mr.intersection(_covered[i]);
451 if (!mri.is_empty()) {
453 for (cur_entry = byte_for(mri.start()), limit = byte_for(mri.last());