__ocs_hw_port_alloc_read_sparm64
static void *__ocs_hw_port_alloc_read_sparm64(ocs_sm_ctx_t *, ocs_sm_event_t, void *);
next = __ocs_hw_port_alloc_read_sparm64;