va_hiaddr        1994 drivers/infiniband/hw/ocrdma/ocrdma_hw.c 	cmd->va_hiaddr = (u32) upper_32_bits(hwmr->va);
va_hiaddr        1539 drivers/infiniband/hw/ocrdma/ocrdma_sli.h 	u32 va_hiaddr;