__ocs_hw_domain_alloc_init_vfi
ocs_sm_transition(ctx, __ocs_hw_domain_alloc_init_vfi, data);
ocs_sm_transition(&domain->sm, __ocs_hw_domain_alloc_init_vfi, data);
static void * __ocs_hw_domain_alloc_init_vfi(ocs_sm_ctx_t *, ocs_sm_event_t, void *);