__bad_cmpxchg     150 arch/arm/include/asm/cmpxchg.h extern void __bad_cmpxchg(volatile void *ptr, int size);
__bad_cmpxchg     203 arch/arm/include/asm/cmpxchg.h 		__bad_cmpxchg(ptr, size);