epx_c3_stop        85 drivers/watchdog/sbc_epx_c3.c 		epx_c3_stop();		/* Turn the WDT off */
epx_c3_stop       125 drivers/watchdog/sbc_epx_c3.c 			epx_c3_stop();
epx_c3_stop       149 drivers/watchdog/sbc_epx_c3.c 		epx_c3_stop();		/* Turn the WDT off */