p2m_mid_mfn_init
p2m_mid_mfn_init(p2m_mid_missing_mfn, p2m_missing);
p2m_mid_mfn_init(mid_mfn_p, p2m_missing);
p2m_mid_mfn_init(mid_mfn, p2m_missing);