#endif 
int set_dabr(unsigned long dabr){#ifdef CONFIG_PPC64	if (ppc_md.set_dabr)		return ppc_md.set_dabr(dabr);#endif	mtspr(SPRN_DABR, dabr);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/76032de898f34db55b5048349db56557828a1390/process.c/buggy/arch/powerpc/kernel/process.c