Home
last modified time | relevance | path

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

/linux-6.3-rc2/arch/x86/xen/
A Dmmu_pv.c731 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_pin() local
741 if (user_pgd) { in __xen_pgd_pin()
744 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_pin()
851 if (user_pgd) { in __xen_pgd_unpin()
853 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_unpin()
1350 if (user_pgd) in xen_write_cr3()
1397 pgd_t *user_pgd; in xen_pgd_alloc() local
1406 if (user_pgd != NULL) { in xen_pgd_alloc()
1408 user_pgd[pgd_index(VSYSCALL_ADDR)] = in xen_pgd_alloc()
1423 if (user_pgd) in xen_pgd_free()
[all …]

Completed in 7 milliseconds