write_dev_port_cntr 12331 drivers/infiniband/hw/hfi1/chip.c 	return write_dev_port_cntr(dd, entry, sval, dd, vl, data);
write_dev_port_cntr 12371 drivers/infiniband/hw/hfi1/chip.c 	return write_dev_port_cntr(ppd->dd, entry, sval, ppd, vl, data);