__xen_pgd_unpin   994 arch/x86/xen/mmu.c 	__xen_pgd_unpin(mm, mm->pgd);
__xen_pgd_unpin  1011 arch/x86/xen/mmu.c 			__xen_pgd_unpin(&init_mm, (pgd_t *)page_address(page));