Lines Matching defs:user_pgd
747 pgd_t *user_pgd = xen_get_user_pgd(pgd);
757 if (user_pgd) {
758 xen_pin_page(mm, virt_to_page(user_pgd), PT_PGD);
760 PFN_DOWN(__pa(user_pgd)));
859 pgd_t *user_pgd = xen_get_user_pgd(pgd);
867 if (user_pgd) {
869 PFN_DOWN(__pa(user_pgd)));
870 xen_unpin_page(mm, virt_to_page(user_pgd), PT_PGD);
1347 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));
1359 if (user_pgd)
1360 __xen_write_cr3(false, __pa(user_pgd));
1406 pgd_t *user_pgd;
1412 user_pgd = (pgd_t *)__get_free_page(GFP_KERNEL | __GFP_ZERO);
1413 page->private = (unsigned long)user_pgd;
1415 if (user_pgd != NULL) {
1417 user_pgd[pgd_index(VSYSCALL_ADDR)] =
1430 pgd_t *user_pgd = xen_get_user_pgd(pgd);
1432 if (user_pgd)
1433 free_page((unsigned long)user_pgd);