for(i = 0; i < loops; i++) ; 
for(i = 0; i < loops; i++) cpu_relax(); 
void __delay(unsigned long loops){	unsigned long i;	for(i = 0; i < loops; i++) ;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/060e352236ece3325a684c72817fbacdac597574/delay.c/buggy/arch/um/sys-x86_64/delay.c