read_dev_port_cntr 12317 drivers/infiniband/hw/hfi1/chip.c 	return read_dev_port_cntr(dd, entry, sval, dd, vl);
read_dev_port_cntr 12351 drivers/infiniband/hw/hfi1/chip.c 	return read_dev_port_cntr(ppd->dd, entry, sval, ppd, vl);