timeout_retries   547 drivers/char/ipmi/ipmi_watchdog.c 	int timeout_retries = 0;
timeout_retries   584 drivers/char/ipmi/ipmi_watchdog.c 		timeout_retries++;
timeout_retries   585 drivers/char/ipmi/ipmi_watchdog.c 		if (timeout_retries > 3) {