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