p2m_index         197 arch/x86/xen/mmu.c 	idx = p2m_index(pfn);
p2m_index         241 arch/x86/xen/mmu.c 	idx = p2m_index(pfn);