Symbol: alloc_p2m_page