/* * uvm_page_recolor: Recolor the pages if the new bucket count is * larger than the old one. */