kernel_pages     7244 mm/page_alloc.c 				unsigned long kernel_pages;
kernel_pages     7245 mm/page_alloc.c 				kernel_pages = min(end_pfn, usable_startpfn)
kernel_pages     7248 mm/page_alloc.c 				kernelcore_remaining -= min(kernel_pages,
kernel_pages     7250 mm/page_alloc.c 				required_kernelcore -= min(kernel_pages,