DVMA_PAGE_SHIFT
#define DVMA_PAGE_SIZE (1UL << DVMA_PAGE_SHIFT)
#define dvma_index(baddr) ((baddr - DVMA_START) >> DVMA_PAGE_SHIFT)
(i << DVMA_PAGE_SHIFT) + DVMA_START, iommu_use[i]);
index = baddr >> DVMA_PAGE_SHIFT;
end = ((baddr+len) >> DVMA_PAGE_SHIFT);
for(index = (baddr >> DVMA_PAGE_SHIFT); index < end; index++)
dvma_print(index << DVMA_PAGE_SHIFT);
index = baddr >> DVMA_PAGE_SHIFT;
end = (DVMA_PAGE_ALIGN(baddr+len) >> DVMA_PAGE_SHIFT);
index << DVMA_PAGE_SHIFT);
#define dvma_entry_vaddr(index,paddr) ((index << DVMA_PAGE_SHIFT) | \
#define dvma_entry_hash(addr) ((addr >> DVMA_PAGE_SHIFT) ^ \
(DVMA_PAGE_SHIFT+4)))
index = dvma_addr >> DVMA_PAGE_SHIFT;