tavor_hca_ports_shutdown
(void) tavor_hca_ports_shutdown(state, num_ports);
(void) tavor_hca_ports_shutdown(state, i);
if (tavor_hca_ports_shutdown(state,
static int tavor_hca_ports_shutdown(tavor_state_t *state, uint_t num_init);