Searched refs:__xen_set_pte (Results 1 – 1 of 1) sorted by relevance
312 static inline void __xen_set_pte(pte_t *ptep, pte_t pteval) in __xen_set_pte() function333 __xen_set_pte(ptep, pteval); in xen_set_pte()340 __xen_set_pte(ptep, pteval); in xen_set_pte_at()