set_bit(PG_highmem, &page->flags); 
void __init mem_init(void){	unsigned long npages = (memory_end - memory_start) >> PAGE_SHIFT;	unsigned long tmp;#ifdef CONFIG_MMU	unsigned long loop, pfn;	int datapages = 0;#endif	int codek = 0, datak = 0;	/* this will put all memory onto the freelists */	totalram_pages = free_all_bootmem();#ifdef CONFIG_MMU	for (loop = 0 ; loop < npages ; loop++)		if (PageReserved(&mem_map[loop]))			datapages++;#ifdef CONFIG_HIGHMEM	for (pfn = num_physpages - 1; pfn >= num_mappedpages; pfn--) {		struct page *page = &mem_map[pfn];		ClearPageReserved(page);		set_bit(PG_highmem, &page->flags);		set_page_count(page, 1);		__free_page(page);		totalram_pages++;	}#endif	codek = ((unsigned long) &_etext - (unsigned long) &_stext) >> 10;	datak = datapages << (PAGE_SHIFT - 10);#else	codek = (_etext - _stext) >> 10;	datak = 0; //(_ebss - _sdata) >> 10;#endif	tmp = nr_free_pages() << PAGE_SHIFT;	printk("Memory available: %luKiB/%luKiB RAM, %luKiB/%luKiB ROM (%dKiB kernel code, %dKiB data)\n",	       tmp >> 10,	       npages << (PAGE_SHIFT - 10),	       (rom_length > 0) ? ((rom_length >> 10) - codek) : 0,	       rom_length >> 10,	       codek,	       datak	       );} /* end mem_init() */
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cbe37d093707762fc0abb280781e6a82a9d8d568/init.c/buggy/arch/frv/mm/init.c