197 void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid)  in xen_set_domain_pte()  argument
202 	trace_xen_mmu_set_domain_pte(ptep, pteval, domid);  in xen_set_domain_pte()
209 	u->val = pte_val_ma(pteval);  in xen_set_domain_pte()
294 static bool xen_batched_set_pte(pte_t *ptep, pte_t pteval)  in xen_batched_set_pte()  argument
304 	u.val = pte_val_ma(pteval);  in xen_batched_set_pte()
312 static inline void __xen_set_pte(pte_t *ptep, pte_t pteval)  in __xen_set_pte()  argument
314 	if (!xen_batched_set_pte(ptep, pteval)) {  in __xen_set_pte()
325 		u.val = pte_val_ma(pteval);  in __xen_set_pte()
330 static void xen_set_pte(pte_t *ptep, pte_t pteval)  in xen_set_pte()  argument
332 	trace_xen_mmu_set_pte(ptep, pteval);  in xen_set_pte()
333 	__xen_set_pte(ptep, pteval);  in xen_set_pte()
337 		    pte_t *ptep, pte_t pteval)  in xen_set_pte_at()  argument
339 	trace_xen_mmu_set_pte_at(mm, addr, ptep, pteval);  in xen_set_pte_at()
340 	__xen_set_pte(ptep, pteval);  in xen_set_pte_at()
413 	pteval_t pteval = pte.pte;  in xen_pte_val()  local
415 	return pte_mfn_to_pfn(pteval);  in xen_pte_val()