if (_machine != _MACH_Pmac) FREESEC(pmac); if (_machine != _MACH_chrp) FREESEC(chrp); if (_machine != _MACH_prep) FREESEC(prep); if (!have_of) FREESEC(openfirmware); 
void free_initmem(void){#define FREESEC(TYPE) \	free_sec((unsigned long)(&__ ## TYPE ## _begin), \		 (unsigned long)(&__ ## TYPE ## _end), \		 #TYPE);	printk ("Freeing unused kernel memory:");	FREESEC(init);	if (_machine != _MACH_Pmac)		FREESEC(pmac);	if (_machine != _MACH_chrp)		FREESEC(chrp);	if (_machine != _MACH_prep)		FREESEC(prep);	if (!have_of)		FREESEC(openfirmware); 	printk("\n");	ppc_md.progress = NULL;#undef FREESEC}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6c45ab992e4299c869fb26427944a8f8ea177024/init.c/buggy/arch/ppc/mm/init.c