write_pkts_hi    1986 drivers/infiniband/hw/ocrdma/ocrdma_sli.h 	u32 write_pkts_hi;
write_pkts_hi     302 drivers/infiniband/hw/ocrdma/ocrdma_stats.c 						 tx_stats->write_pkts_hi));
write_pkts_hi     338 drivers/infiniband/hw/ocrdma/ocrdma_stats.c 	convert_to_64bit(tx_stats->write_pkts_lo, tx_stats->write_pkts_hi) +