cxio_hal_destroy_rhdl_resource 1039 drivers/infiniband/hw/cxgb3/cxio_hal.c cxio_hal_destroy_rhdl_resource(); cxio_hal_destroy_rhdl_resource 45 drivers/infiniband/hw/cxgb3/cxio_resource.h extern void cxio_hal_destroy_rhdl_resource(void);