__efc_fabctl_init
efc_node_transition(fabctl, __efc_fabctl_init, NULL);
__efc_fabctl_init(struct efc_sm_ctx *ctx,