Lines Matching refs:restore_scratch
657 int restore_scratch)
659 if (restore_scratch) {
707 int restore_scratch)
716 build_restore_pagemask(p, r, tmp, label_leave, restore_scratch);
1105 int restore_scratch;
1120 rv.restore_scratch = 0;
1279 rv.restore_scratch = 1;
1288 rv.restore_scratch = 1;
1325 htlb_info.restore_scratch = 0;
1367 htlb_info.restore_scratch);