free_cntrs       12720 drivers/infiniband/hw/hfi1/chip.c 	free_cntrs(dd);
free_cntrs       14694 drivers/infiniband/hw/hfi1/chip.c 	free_cntrs(dd);
free_cntrs       15134 drivers/infiniband/hw/hfi1/chip.c 	free_cntrs(dd);