__xen_pgd_pin     876 arch/x86/xen/mmu.c 	__xen_pgd_pin(mm, mm->pgd);
__xen_pgd_pin     898 arch/x86/xen/mmu.c 			__xen_pgd_pin(&init_mm, (pgd_t *)page_address(page));