EFA_DMA_ADDR_TO_UINT32_HIGH  157 drivers/infiniband/hw/efa/efa_com.c 	addr_high = EFA_DMA_ADDR_TO_UINT32_HIGH(sq->dma_addr);
EFA_DMA_ADDR_TO_UINT32_HIGH  192 drivers/infiniband/hw/efa/efa_com.c 	addr_high = EFA_DMA_ADDR_TO_UINT32_HIGH(cq->dma_addr);
EFA_DMA_ADDR_TO_UINT32_HIGH  235 drivers/infiniband/hw/efa/efa_com.c 	addr_high = EFA_DMA_ADDR_TO_UINT32_HIGH(aenq->dma_addr);