ibdm_uninit_hca
(void) ibdm_uninit_hca(hca_list);
if (ibdm_uninit_hca(head) != IBDM_SUCCESS)
if (ibdm_uninit_hca(temp) != IBDM_SUCCESS) {
static int ibdm_uninit_hca(ibdm_hca_list_t *);