__xchg32
extern unsigned long __xchg32(int, volatile int *);
case 4: return __xchg32((int) x, (volatile int *) ptr);
EXPORT_SYMBOL(__xchg32);