ibtl_reinit_hca_portinfo
ibtl_reinit_hca_portinfo(hca_devp, port_minus1 + 1);
ibtl_reinit_hca_portinfo(hca_devp, port);
ibtl_reinit_hca_portinfo(hca_devp, port);
ibtl_reinit_hca_portinfo(hca_devp, i + 1);
void ibtl_reinit_hca_portinfo(ibtl_hca_devinfo_t *hca_devp, uint8_t port);