__xchg_called_with_bad_pointer
(__xchg_called_with_bad_pointer(), x);
extern void __xchg_called_with_bad_pointer(void);
extern unsigned long __xchg_called_with_bad_pointer(void)
return __xchg_called_with_bad_pointer();
return __xchg_called_with_bad_pointer();
return __xchg_called_with_bad_pointer();
extern void __xchg_called_with_bad_pointer(void);
__xchg_called_with_bad_pointer();
void __xchg_called_with_bad_pointer(void);
__xchg_called_with_bad_pointer();
extern void __xchg_called_with_bad_pointer(void);
__xchg_called_with_bad_pointer(); \
void __xchg_called_with_bad_pointer(void);
__xchg_called_with_bad_pointer();
__xchg_called_with_bad_pointer();
void __xchg_called_with_bad_pointer(void);
extern void __xchg_called_with_bad_pointer(void);
__xchg_called_with_bad_pointer();