Searched defs:user_pgd (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/xen/
H A Dmmu.c819 pgd_t *user_pgd = xen_get_user_pgd(pgd); __xen_pgd_pin() local
939 pgd_t *user_pgd = xen_get_user_pgd(pgd); __xen_pgd_unpin() local
1462 pgd_t *user_pgd = xen_get_user_pgd(__va(cr3)); xen_write_cr3() local
1520 pgd_t *user_pgd; xen_pgd_alloc() local
1547 pgd_t *user_pgd = xen_get_user_pgd(pgd); xen_pgd_free() local

Completed in 60 milliseconds