Lines Matching defs:user_pgd
1033 pgd_t *user_pgd = xen_get_user_pgd(pgd);
1037 if (user_pgd) {
1038 xen_pin_page(mm, virt_to_page(user_pgd), PT_PGD);
1040 PFN_DOWN(__pa(user_pgd)));
1152 pgd_t *user_pgd = xen_get_user_pgd(pgd);
1154 if (user_pgd) {
1156 PFN_DOWN(__pa(user_pgd)));
1157 xen_unpin_page(mm, virt_to_page(user_pgd), PT_PGD);
1458 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));
1459 if (user_pgd)
1460 __xen_write_cr3(false, __pa(user_pgd));
1479 pgd_t *user_pgd;
1485 user_pgd = (pgd_t *)__get_free_page(GFP_KERNEL | __GFP_ZERO);
1486 page->private = (unsigned long)user_pgd;
1488 if (user_pgd != NULL) {
1489 user_pgd[pgd_index(VSYSCALL_START)] =
1504 pgd_t *user_pgd = xen_get_user_pgd(pgd);
1506 if (user_pgd)
1507 free_page((unsigned long)user_pgd);