taglinefilesource code
__xchg_called_with_bad_pointer149include/asm-alpha/system.hextern void __xchg_called_with_bad_pointer(void);
__xchg_called_with_bad_pointer159include/asm-alpha/system.h__xchg_called_with_bad_pointer();