196 void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid)  in xen_set_domain_pte()  argument
201 	trace_xen_mmu_set_domain_pte(ptep, pteval, domid);  in xen_set_domain_pte()
208 	u->val = pte_val_ma(pteval);  in xen_set_domain_pte()
293 static bool xen_batched_set_pte(pte_t *ptep, pte_t pteval)  in xen_batched_set_pte()  argument
303 	u.val = pte_val_ma(pteval);  in xen_batched_set_pte()
311 static inline void __xen_set_pte(pte_t *ptep, pte_t pteval)  in __xen_set_pte()  argument
313 	if (!xen_batched_set_pte(ptep, pteval)) {  in __xen_set_pte()
324 		u.val = pte_val_ma(pteval);  in __xen_set_pte()
329 static void xen_set_pte(pte_t *ptep, pte_t pteval)  in xen_set_pte()  argument
331 	trace_xen_mmu_set_pte(ptep, pteval);  in xen_set_pte()
332 	__xen_set_pte(ptep, pteval);  in xen_set_pte()
336 		    pte_t *ptep, pte_t pteval)  in xen_set_pte_at()  argument
338 	trace_xen_mmu_set_pte_at(mm, addr, ptep, pteval);  in xen_set_pte_at()
339 	__xen_set_pte(ptep, pteval);  in xen_set_pte_at()
412 	pteval_t pteval = pte.pte;  in xen_pte_val()  local
414 	return pte_mfn_to_pfn(pteval);  in xen_pte_val()