ia64_xchg_called_with_bad_pointer   28 arch/ia64/include/uapi/asm/cmpxchg.h extern void ia64_xchg_called_with_bad_pointer(void);
ia64_xchg_called_with_bad_pointer   51 arch/ia64/include/uapi/asm/cmpxchg.h 		ia64_xchg_called_with_bad_pointer();			\