xen: make sure xen_max_p2m_pfn is up to date
[pandora-kernel.git] / arch / x86 / xen / mmu.c
Simple merge