Symbol: xen_pin_page
arch/x86/xen/mmu_pv.c
809
__xen_pgd_walk(mm, pgd, xen_pin_page, USER_LIMIT);
arch/x86/xen/mmu_pv.c
814
xen_pin_page(mm, virt_to_page(user_pgd), PT_PGD);