Home
last modified time | relevance | path

Searched refs:user_pgd (Results 1 – 1 of 1) sorted by relevance

/Linux-v4.19/arch/x86/xen/
Dmmu_pv.c796 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_pin() local
800 if (user_pgd) { in __xen_pgd_pin()
801 xen_pin_page(mm, virt_to_page(user_pgd), PT_PGD); in __xen_pgd_pin()
803 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_pin()
921 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_unpin() local
923 if (user_pgd) { in __xen_pgd_unpin()
925 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_unpin()
926 xen_unpin_page(mm, virt_to_page(user_pgd), PT_PGD); in __xen_pgd_unpin()
1436 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3)); in xen_write_cr3() local
1437 if (user_pgd) in xen_write_cr3()
[all …]