SIBA_DMA_TRANSLATION_MASK
addr = (uint32_t) (dmaaddr & ~SIBA_DMA_TRANSLATION_MASK);
addrext = (uint32_t) (dmaaddr & SIBA_DMA_TRANSLATION_MASK) >> 30;
addrhi = (((uint64_t) dmaaddr >> 32) & ~SIBA_DMA_TRANSLATION_MASK);
addrext = (((uint64_t) dmaaddr >> 32) & SIBA_DMA_TRANSLATION_MASK) >>
addrext = ((ring64 >> 32) & SIBA_DMA_TRANSLATION_MASK)
~SIBA_DMA_TRANSLATION_MASK) | (trans << 1));
addrext = (ring32 & SIBA_DMA_TRANSLATION_MASK) >> 30;
(ring32 & ~SIBA_DMA_TRANSLATION_MASK) | trans);
addrext = ((ring64 >> 32) & SIBA_DMA_TRANSLATION_MASK) >> 30;
((ring64 >> 32) & ~SIBA_DMA_TRANSLATION_MASK)
addrext = (ring32 & SIBA_DMA_TRANSLATION_MASK) >> 30;
(ring32 & ~SIBA_DMA_TRANSLATION_MASK) | trans);