xen_release_ptpage 1697 arch/x86/xen/mmu_pv.c 	xen_release_ptpage(pfn, PT_PTE);
xen_release_ptpage 1702 arch/x86/xen/mmu_pv.c 	xen_release_ptpage(pfn, PT_PMD);
xen_release_ptpage 1713 arch/x86/xen/mmu_pv.c 	xen_release_ptpage(pfn, PT_PUD);