xen_release_ptpage
xen_release_ptpage(pfn, PT_PTE);
xen_release_ptpage(pfn, PT_PMD);
xen_release_ptpage(pfn, PT_PUD);