ibdm_handle_hca_detach
ibdm_handle_hca_detach(event->ev_hca_guid);
static void ibdm_handle_hca_detach(ib_guid_t);