mchchk_wng_posted  167 arch/s390/kernel/nmi.c 		static int mchchk_wng_posted = 0;
mchchk_wng_posted  171 arch/s390/kernel/nmi.c 		if (xchg(&mchchk_wng_posted, 1) == 0)