217 #define pte_special(pte) 0  argument
218 #define pte_mkspecial(pte) (pte)  argument
243 int va_to_cpa_and_pte(void *va, phys_addr_t *cpa, pte_t *pte);
250 void __set_pte(pte_t *ptep, pte_t pte);
258 extern void set_pte(pte_t *ptep, pte_t pte);
264 static inline int pte_none(pte_t pte)  in pte_none()  argument
266 	return !pte.val;  in pte_none()
269 static inline unsigned long pte_pfn(pte_t pte)  in pte_pfn()  argument
271 	return PFN_DOWN(hv_pte_get_pa(pte));  in pte_pfn()
295 #define __pte_to_swp_entry(pte)	((swp_entry_t) { (pte).val >> 32 })  argument
309 static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)  in pte_modify()  argument
311 	return pfn_pte(pte_pfn(pte), newprot);  in pte_modify()
335 #define pte_unmap(pte) do { } while (0)  argument
348 #define update_mmu_cache(vma, address, pte) do { } while (0)  argument