free_credit_return 1557 drivers/infiniband/hw/hfi1/init.c 	free_credit_return(dd);
free_credit_return  458 drivers/infiniband/hw/hfi1/pio.c 		free_credit_return(dd);
free_credit_return  279 drivers/infiniband/hw/hfi1/pio.h void free_credit_return(struct hfi1_devdata *dd);