{
p2m = p2m_get_altp2m(curr);
- /*
+ /*
* Get the altp2m entry if present; or if not, propagate from
* the host p2m. NB that this returns with gfn locked in the
* altp2m.
*/
- if ( p2m_altp2m_get_or_propagate(p2m, gfn, &mfn, &p2mt, &p2ma, page_order) )
+ if ( p2m_altp2m_get_or_propagate(p2m, gfn, &mfn, &p2mt,
+ &p2ma, page_order) )
{
/* Entry was copied from host -- retry fault */
rc = 1;
* gfns below.
*/
p2m_lock(ap2m);
-
+
amfn = get_gfn_type_access(ap2m, gfn_l, &ap2mt, &ap2ma, 0, NULL);
if ( !mfn_eq(amfn, INVALID_MFN) )
if ( rc )
{
gprintk(XENLOG_ERR,
- "failed to set entry for %#"PRIx64" -> %#"PRIx64" altp2m %#"PRIx16". rc: %"PRIi32"\n",
- gfn_l, mfn_x(amfn), vcpu_altp2m(current).p2midx, rc);
+ "failed to set entry for %"PRI_gfn" -> %"PRI_mfn" altp2m %u, rc %d\n",
+ gfn_l, mfn_x(amfn), vcpu_altp2m(current).p2midx, rc);
domain_crash(ap2m->domain);
}
-
+
return true;
}