set_bit(PG_highmem, &page->flags); 
void __init mem_init(void){	unsigned long codesize, reservedpages, datasize, initsize;	unsigned long tmp, ram;#ifdef CONFIG_HIGHMEM#ifdef CONFIG_DISCONTIGMEM#error "CONFIG_HIGHMEM and CONFIG_DISCONTIGMEM dont work together yet"#endif	max_mapnr = num_physpages = highend_pfn;#else	max_mapnr = num_physpages = max_low_pfn;#endif	high_memory = (void *) __va(max_low_pfn << PAGE_SHIFT);	totalram_pages += free_all_bootmem();	totalram_pages -= setup_zero_pages();	/* Setup zeroed pages.  */	reservedpages = ram = 0;	for (tmp = 0; tmp < max_low_pfn; tmp++)		if (page_is_ram(tmp)) {			ram++;			if (PageReserved(mem_map+tmp))				reservedpages++;		}#ifdef CONFIG_HIGHMEM	for (tmp = highstart_pfn; tmp < highend_pfn; tmp++) {		struct page *page = mem_map + tmp;		if (!page_is_ram(tmp)) {			SetPageReserved(page);			continue;		}		ClearPageReserved(page);#ifdef CONFIG_LIMITED_DMA		set_page_address(page, lowmem_page_address(page));#endif		set_bit(PG_highmem, &page->flags);		set_page_count(page, 1);		__free_page(page);		totalhigh_pages++;	}	totalram_pages += totalhigh_pages;#endif	codesize =  (unsigned long) &_etext - (unsigned long) &_text;	datasize =  (unsigned long) &_edata - (unsigned long) &_etext;	initsize =  (unsigned long) &__init_end - (unsigned long) &__init_begin;	printk(KERN_INFO "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,	       (unsigned long) (totalhigh_pages << (PAGE_SHIFT-10)));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cbe37d093707762fc0abb280781e6a82a9d8d568/init.c/clean/arch/mips/mm/init.c