pvrdma_page_dir_get_dma  544 drivers/infiniband/hw/vmw_pvrdma/pvrdma.h dma_addr_t pvrdma_page_dir_get_dma(struct pvrdma_page_dir *pdir, u64 idx);
pvrdma_page_dir_get_dma  128 drivers/infiniband/hw/vmw_pvrdma/pvrdma_misc.c 			dma_addr_t page_dma = pvrdma_page_dir_get_dma(pdir, i);