src = (void *)((unsigned long)src + 1); vdest = (void *)((unsigned long)vdest + 1); 
src++; vdest++; 
static inline void eeh_memcpy_toio(volatile void __iomem *dest, const void *src,				   unsigned long n){	void *vdest = (void __force *) dest;	while(n && (!EEH_CHECK_ALIGN(vdest, 4) || !EEH_CHECK_ALIGN(src, 4))) {		*((volatile u8 *)vdest) = *((u8 *)src);		src = (void *)((unsigned long)src + 1);		vdest = (void *)((unsigned long)vdest + 1);					n--;	}	while(n > 4) {		*((volatile u32 *)vdest) = *((volatile u32 *)src);		src = (void *)((unsigned long)src + 4);		vdest = (void *)((unsigned long)vdest + 4);					n-=4;	}	while(n) {		*((volatile u8 *)vdest) = *((u8 *)src);		src = (void *)((unsigned long)src + 1);		vdest = (void *)((unsigned long)vdest + 1);					n--;	}	__asm__ __volatile__ ("sync" : : : "memory");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6c9afc655d4df902211d00a437e893881cdef588/eeh.h/buggy/include/asm-ppc64/eeh.h