read_pkts_hi     1988 drivers/infiniband/hw/ocrdma/ocrdma_sli.h 	u32 read_pkts_hi;
read_pkts_hi      305 drivers/infiniband/hw/ocrdma/ocrdma_stats.c 						 tx_stats->read_pkts_hi));
read_pkts_hi      339 drivers/infiniband/hw/ocrdma/ocrdma_stats.c 	convert_to_64bit(tx_stats->read_pkts_lo, tx_stats->read_pkts_hi) +