Searched refs:xen_get_user_pgd (Results 1 – 2 of 2) sorted by relevance
53 pgd_t *xen_get_user_pgd(pgd_t *pgd);
699 pgd_t *xen_get_user_pgd(pgd_t *pgd) in xen_get_user_pgd() function746 pgd_t *user_ptr = xen_get_user_pgd(ptr); in xen_set_pgd()1000 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_pin()1118 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_unpin()1437 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3)); in xen_write_cr3()1473 BUG_ON(PagePinned(virt_to_page(xen_get_user_pgd(pgd)))); in xen_pgd_alloc()1483 pgd_t *user_pgd = xen_get_user_pgd(pgd); in xen_pgd_free()