totlen_high      1990 drivers/infiniband/hw/ocrdma/ocrdma_hw.c 	cmd->totlen_high = upper_32_bits(hwmr->len);
totlen_high      1535 drivers/infiniband/hw/ocrdma/ocrdma_sli.h 	u32 totlen_high;