eurwdt_ping       216 drivers/watchdog/eurotechwdt.c 		eurwdt_ping();	/* the default timeout */
eurwdt_ping       265 drivers/watchdog/eurotechwdt.c 			eurwdt_ping();
eurwdt_ping       273 drivers/watchdog/eurotechwdt.c 		eurwdt_ping();
eurwdt_ping       336 drivers/watchdog/eurotechwdt.c 		eurwdt_ping();