Searched defs:user_pgd (Results 1 – 2 of 2) sorted by relevance
797 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_pin() local922 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_unpin() local1437 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3)); in xen_write_cr3() local1495 pgd_t *user_pgd; in xen_pgd_alloc() local1521 pgd_t *user_pgd = xen_get_user_pgd(pgd); in xen_pgd_free() local
727 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_pin() local837 pgd_t *user_pgd = xen_get_user_pgd(pgd); in __xen_pgd_unpin() local1325 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3)); in xen_write_cr3() local1384 pgd_t *user_pgd; in xen_pgd_alloc() local1408 pgd_t *user_pgd = xen_get_user_pgd(pgd); in xen_pgd_free() local