Searched refs:xen_get_user_pgd (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/xen/
H A Dmmu.c521 static pgd_t *xen_get_user_pgd(pgd_t *pgd) xen_get_user_pgd() function
568 pgd_t *user_ptr = xen_get_user_pgd(ptr); xen_set_pgd()
819 pgd_t *user_pgd = xen_get_user_pgd(pgd); __xen_pgd_pin()
939 pgd_t *user_pgd = xen_get_user_pgd(pgd); __xen_pgd_unpin()
1462 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3)); xen_write_cr3()
1537 BUG_ON(PagePinned(virt_to_page(xen_get_user_pgd(pgd)))); xen_pgd_alloc()
1547 pgd_t *user_pgd = xen_get_user_pgd(pgd); xen_pgd_free()

Completed in 50 milliseconds