Symbol: xen_alloc_p2m_entry