681 static inline void dma_clear_pte(struct dma_pte *pte)  in dma_clear_pte()  argument
683 	pte->val = 0;  in dma_clear_pte()
686 static inline u64 dma_pte_addr(struct dma_pte *pte)  in dma_pte_addr()  argument
689 	return pte->val & VTD_PAGE_MASK & (~DMA_FL_PTE_XD);  in dma_pte_addr()
692 	return  __cmpxchg64(&pte->val, 0ULL, 0ULL) &  in dma_pte_addr()
697 static inline bool dma_pte_present(struct dma_pte *pte)  in dma_pte_present()  argument
699 	return (pte->val & 3) != 0;  in dma_pte_present()
702 static inline bool dma_pte_superpage(struct dma_pte *pte)  in dma_pte_superpage()  argument
704 	return (pte->val & DMA_PTE_LARGE_PAGE);  in dma_pte_superpage()
707 static inline int first_pte_in_page(struct dma_pte *pte)  in first_pte_in_page()  argument
709 	return !((unsigned long)pte & ~VTD_PAGE_MASK);  in first_pte_in_page()