void free_initmem(void){	unsigned long addr;		addr = (unsigned long)(&__init_begin);	for (; addr < (unsigned long)(&__init_end); addr += PAGE_SIZE) {		ClearPageReserved(virt_to_page(addr));		set_page_count(virt_to_page(addr), 1);		free_page(addr);		totalram_pages++;	}	printk ("Freeing unused kernel memory: %dk freed\n", (&__init_end - &__init_begin) >> 10);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/65463b73b14ed43368dc5961a6c3dcb0d98cfe1f/init.c/clean/arch/sh/mm/init.c