printk ("Freeing unused kernel memory: %luk freed\n", (&__init_end - &__init_begin) >> 10); 
printk ("Freeing unused kernel memory: %luk freed\n", (__init_end - __init_begin) >> 10); 
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);		memset((void *)(addr & ~(PAGE_SIZE-1)), 0xcc, PAGE_SIZE); 		free_page(addr);		totalram_pages++;	}	memset(__initdata_begin, 0xba, __initdata_end - __initdata_begin);	printk ("Freeing unused kernel memory: %luk freed\n", (&__init_end - &__init_begin) >> 10);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2bc0414ee04fd8bb798760801f5d7476dff44241/init.c/clean/arch/x86_64/mm/init.c