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