xen_alloc_ptpage
xen_alloc_ptpage(mm, pfn, PT_PTE);
xen_alloc_ptpage(mm, pfn, PT_PMD);
xen_alloc_ptpage(mm, pfn, PT_PUD);