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