Searched refs:xen_set_domain_pte (Results 1 – 2 of 2) sorted by relevance
255 void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid);
196 void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid) in xen_set_domain_pte() function214 EXPORT_SYMBOL_GPL(xen_set_domain_pte);