__ocs_sport_vport_allocated
ocs_sm_transition(ctx, __ocs_sport_vport_allocated, NULL);
extern void *__ocs_sport_vport_allocated(ocs_sm_ctx_t *ctx, ocs_sm_event_t evt, void *arg);