__efc_d_port_logged_in
__efc_d_port_logged_in, NULL);
efc_node_transition(node, __efc_d_port_logged_in, NULL);
__efc_d_port_logged_in(struct efc_sm_ctx *ctx,
efc_node_transition(node, __efc_d_port_logged_in,