size_param("bootscrub_chunk", opt_bootscrub_chunk);
#ifdef CONFIG_SCRUB_DEBUG
-static bool __read_mostly boot_scrub_done;
+static bool __read_mostly scrub_debug;
+#else
+#define scrub_debug false
#endif
/*
const uint64_t *ptr;
unsigned int i;
- if ( !boot_scrub_done )
+ if ( !scrub_debug )
return;
ptr = map_domain_page(mfn);
nr_pages -= n;
}
-#ifndef CONFIG_SCRUB_DEBUG
- free_heap_pages(pg + i, 0, false);
-#else
- free_heap_pages(pg + i, 0, boot_scrub_done);
-#endif
-
+ free_heap_pages(pg + i, 0, scrub_debug);
}
}
printk("done.\n");
#ifdef CONFIG_SCRUB_DEBUG
- boot_scrub_done = true;
+ scrub_debug = true;
#endif
}