Searched refs:user_pgd (Results 1 – 1 of 1) sorted by relevance
746 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_pin() local756 if (user_pgd) { in __xen_pgd_pin()759 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_pin()866 if (user_pgd) { in __xen_pgd_unpin()868 PFN_DOWN(__pa(user_pgd))); in __xen_pgd_unpin()1358 if (user_pgd) in xen_write_cr3()1405 pgd_t *user_pgd; in xen_pgd_alloc() local1414 if (user_pgd != NULL) { in xen_pgd_alloc()1416 user_pgd[pgd_index(VSYSCALL_ADDR)] = in xen_pgd_alloc()1431 if (user_pgd) in xen_pgd_free()[all …]
Completed in 9 milliseconds