corepages        7189 mm/page_alloc.c 		unsigned long corepages;
corepages        7198 mm/page_alloc.c 		corepages = totalpages - required_movablecore;
corepages        7200 mm/page_alloc.c 		required_kernelcore = max(required_kernelcore, corepages);