ipd_count         338 arch/s390/kernel/nmi.c 	static int ipd_count;
ipd_count         384 arch/s390/kernel/nmi.c 				ipd_count++;
ipd_count         386 arch/s390/kernel/nmi.c 				ipd_count = 1;
ipd_count         388 arch/s390/kernel/nmi.c 			if (ipd_count == MAX_IPD_COUNT)