#ifndef CONFIG_DISCONTIGMEM 
#ifdef CONFIG_FLATMEM 
static void __init set_max_mapnr_init(void){#ifdef CONFIG_HIGHMEM	num_physpages = highend_pfn;#else	num_physpages = max_low_pfn;#endif#ifndef CONFIG_DISCONTIGMEM	max_mapnr = num_physpages;#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/05b79bdcb48c18cd9b580c39e3efb9a1ab078151/init.c/clean/arch/i386/mm/init.c