__xen_pgd_pin     828 arch/x86/xen/mmu_pv.c 	__xen_pgd_pin(mm, mm->pgd);
__xen_pgd_pin     849 arch/x86/xen/mmu_pv.c 			__xen_pgd_pin(&init_mm, (pgd_t *)page_address(page));