extern inline unsigned long __xchg (unsigned long with, 
static inline unsigned long __xchg (unsigned long with, 
extern inline unsigned long __xchg (unsigned long with,				    __volatile__ void *ptr, int size){	unsigned long tmp, flags;	local_irq_save (flags);	switch (size) {	case 1:		tmp = *(unsigned char *)ptr;		*(unsigned char *)ptr = with;		break;	case 2:		tmp = *(unsigned short *)ptr;		*(unsigned short *)ptr = with;		break;	case 4:		tmp = *(unsigned long *)ptr;		*(unsigned long *)ptr = with;		break;	}	local_irq_restore (flags);	return tmp;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/23f88fe4bffe01a0d29326789cb5813cd6f8158e/system.h/buggy/include/asm-v850/system.h