Searched refs:tmp_page (Results 1 – 1 of 1) sorted by relevance
789 void *tmp_page; in pfn_to_dma_pte() local801 tmp_page = alloc_pgtable_page(domain->nid); in pfn_to_dma_pte()803 if (!tmp_page) in pfn_to_dma_pte()806 domain_flush_cache(domain, tmp_page, VTD_PAGE_SIZE); in pfn_to_dma_pte()807 pteval = ((uint64_t)virt_to_dma_pfn(tmp_page) << VTD_PAGE_SHIFT) | DMA_PTE_READ | DMA_PTE_WRITE; in pfn_to_dma_pte()810 free_pgtable_page(tmp_page); in pfn_to_dma_pte()