times_failed       51 drivers/misc/ibmasm/r_heartbeat.c 	int times_failed = 0;
times_failed       58 drivers/misc/ibmasm/r_heartbeat.c 	while (times_failed < 3) {
times_failed       65 drivers/misc/ibmasm/r_heartbeat.c 			times_failed++;