Lines Matching refs:user_pgd
805 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_pin() local
809 if (user_pgd) { in __xen_pgd_pin()
810 xen_pin_page(mm, virt_to_page(user_pgd), PT_PGD); in __xen_pgd_pin()
812 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_pin()
930 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_unpin() local
932 if (user_pgd) { in __xen_pgd_unpin()
934 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_unpin()
935 xen_unpin_page(mm, virt_to_page(user_pgd), PT_PGD); in __xen_pgd_unpin()
1435 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3)); in xen_write_cr3() local
1436 if (user_pgd) in xen_write_cr3()
1437 __xen_write_cr3(false, __pa(user_pgd)); in xen_write_cr3()
1493 pgd_t *user_pgd; in xen_pgd_alloc() local
1499 user_pgd = (pgd_t *)__get_free_page(GFP_KERNEL | __GFP_ZERO); in xen_pgd_alloc()
1500 page->private = (unsigned long)user_pgd; in xen_pgd_alloc()
1502 if (user_pgd != NULL) { in xen_pgd_alloc()
1504 user_pgd[pgd_index(VSYSCALL_ADDR)] = in xen_pgd_alloc()
1519 pgd_t *user_pgd = xen_get_user_pgd(pgd); in xen_pgd_free() local
1521 if (user_pgd) in xen_pgd_free()
1522 free_page((unsigned long)user_pgd); in xen_pgd_free()