Searched refs:__xen_set_pte (Results 1 – 1 of 1) sorted by relevance
267 static inline void __xen_set_pte(pte_t *ptep, pte_t pteval) in __xen_set_pte() function285 __xen_set_pte(ptep, pteval); in xen_set_pte()1451 __xen_set_pte(ptep, pte); in xen_set_pte_init()
