Searched refs:dvma_print (Results 1 – 1 of 1) sorted by relevance
65 void dvma_print (unsigned long dvma_addr) in dvma_print() function177 dvma_print(index << DVMA_PAGE_SHIFT); in dvma_map_iommu()