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);