master/fsm.h
changeset 435 779a18d12e6c
parent 434 0180d8277311
child 436 63214beb641d
--- a/master/fsm.h	Mon Oct 23 13:45:09 2006 +0000
+++ b/master/fsm.h	Mon Oct 23 14:00:58 2006 +0000
@@ -89,14 +89,12 @@
 int ec_fsm_init(ec_fsm_t *, ec_master_t *);
 void ec_fsm_clear(ec_fsm_t *);
 void ec_fsm_reset(ec_fsm_t *);
-void ec_fsm_execute(ec_fsm_t *);
+int ec_fsm_exec(ec_fsm_t *);
 
 void ec_fsm_startup(ec_fsm_t *);
-int ec_fsm_startup_running(ec_fsm_t *);
 int ec_fsm_startup_success(ec_fsm_t *);
 
 void ec_fsm_configuration(ec_fsm_t *);
-int ec_fsm_configuration_running(ec_fsm_t *);
 int ec_fsm_configuration_success(ec_fsm_t *);
 
 /*****************************************************************************/