MAX_P2M_PFN
BUG_ON(pfn >= MAX_P2M_PFN);
for (pfn = 0; pfn < xen_max_p2m_pfn && pfn < MAX_P2M_PFN;
if (p2m_top_mfn && pfn < MAX_P2M_PFN) {