Symbol: xen_release_ptpage
arch/x86/xen/mmu_pv.c
1655
xen_release_ptpage(pfn, PT_PTE);
arch/x86/xen/mmu_pv.c
1660
xen_release_ptpage(pfn, PT_PMD);
arch/x86/xen/mmu_pv.c
1670
xen_release_ptpage(pfn, PT_PUD);