Symbol: __xen_pgd_pin
arch/x86/xen/mmu_pv.c
824
__xen_pgd_pin(mm, mm->pgd);
arch/x86/xen/mmu_pv.c
846
__xen_pgd_pin(&init_mm, (pgd_t *)page_address(page));