static inline void sx_long_delay(unsigned long delay){	unsigned long i;		for (i = jiffies + delay; time_after(i, jiffies); ) ;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d61780c0d384939ef31c46b47442854d5def4623/specialix.c/buggy/drivers/char/specialix.c