xen_get_user_pgd
pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));
BUG_ON(PagePinned(virt_to_page(xen_get_user_pgd(pgd))));
pgd_t *user_pgd = xen_get_user_pgd(pgd);
pgd_t *user_ptr = xen_get_user_pgd((pgd_t *)ptr);
pgd_t *user_pgd = xen_get_user_pgd(pgd);
pgd_t *user_pgd = xen_get_user_pgd(pgd);