eurwdt_disable_timer  137 drivers/watchdog/eurotechwdt.c 	eurwdt_disable_timer();
eurwdt_disable_timer  260 drivers/watchdog/eurotechwdt.c 			eurwdt_disable_timer();
eurwdt_disable_timer  333 drivers/watchdog/eurotechwdt.c 		eurwdt_disable_timer();
eurwdt_disable_timer  359 drivers/watchdog/eurotechwdt.c 		eurwdt_disable_timer();	/* Turn the card off */