#if CONFIG_HIGHMEM 
#ifdef CONFIG_HIGHMEM 
void __init mem_init(void){	unsigned long codesize, reservedpages, datasize, initsize;	unsigned long highmemsize, tmp, ram;	max_mapnr = num_physpages = max_low_pfn;	high_memory = (void *) __va(max_mapnr << PAGE_SHIFT);	highmemsize = 0;#if CONFIG_HIGHMEM#error HIGHGMEM not implemented in init.c#endif	totalram_pages += free_all_bootmem();	reservedpages = ram = 0;	for (tmp = 0; tmp < max_low_pfn; tmp++) {		ram++;		if (PageReserved(mem_map+tmp))			reservedpages++;	}	codesize =  (unsigned long) &_etext - (unsigned long) &_ftext;	datasize =  (unsigned long) &_edata - (unsigned long) &_fdata;	initsize =  (unsigned long) &__init_end - (unsigned long) &__init_begin;	printk("Memory: %luk/%luk available (%ldk kernel code, %ldk reserved, "	       "%ldk data, %ldk init %ldk highmem)\n",	       (unsigned long) nr_free_pages() << (PAGE_SHIFT-10),	       ram << (PAGE_SHIFT-10),	       codesize >> 10,	       reservedpages << (PAGE_SHIFT-10),	       datasize >> 10,	       initsize >> 10,	       highmemsize >> 10);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/288a60cf4d7cc35f84f46cd8ffd0b34f9d8e7346/init.c/clean/arch/xtensa/mm/init.c