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);