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