Searched refs:dvma_addr (Results 1 – 1 of 1) sorted by relevance
65 void dvma_print (unsigned long dvma_addr) in dvma_print() argument70 index = dvma_addr >> DVMA_PAGE_SHIFT; in dvma_print()72 printk("idx %lx dvma_addr %08lx paddr %08lx\n", index, dvma_addr, in dvma_print()