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