cxio_hal_destroy_resource 1003 drivers/infiniband/hw/cxgb3/cxio_hal.c 	cxio_hal_destroy_resource(rdev_p->rscp);
cxio_hal_destroy_resource 1019 drivers/infiniband/hw/cxgb3/cxio_hal.c 		cxio_hal_destroy_resource(rdev_p->rscp);
cxio_hal_destroy_resource   56 drivers/infiniband/hw/cxgb3/cxio_resource.h extern void cxio_hal_destroy_resource(struct cxio_hal_resource *rscp);