Lines Matching defs:user_pgd
727 pgd_t *user_pgd = xen_get_user_pgd(pgd);
737 if (user_pgd) {
738 xen_pin_page(mm, virt_to_page(user_pgd), PT_PGD);
740 PFN_DOWN(__pa(user_pgd)));
837 pgd_t *user_pgd = xen_get_user_pgd(pgd);
845 if (user_pgd) {
847 PFN_DOWN(__pa(user_pgd)));
848 xen_unpin_page(mm, virt_to_page(user_pgd), PT_PGD);
1325 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));
1337 if (user_pgd)
1338 __xen_write_cr3(false, __pa(user_pgd));
1384 pgd_t *user_pgd;
1390 user_pgd = (pgd_t *)__get_free_page(GFP_KERNEL | __GFP_ZERO);
1391 page->private = (unsigned long)user_pgd;
1393 if (user_pgd != NULL) {
1395 user_pgd[pgd_index(VSYSCALL_ADDR)] =
1408 pgd_t *user_pgd = xen_get_user_pgd(pgd);
1410 if (user_pgd)
1411 free_page((unsigned long)user_pgd);