The current domain and the domain pointed by the variable "d" are not
the same.
However, when it's not possible to get a reference on the page, the
target domain ID is not printed. This makes the message difficult to
understand.
Improve the message by printing the target domain ID.
Signed-off-by: Julien Grall <julien.grall@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
if ( !get_page(page, d) )
{
gdprintk(XENLOG_INFO,
- "mfn %#"PRI_xen_pfn" doesn't belong to the"
- " domain\n", mfn);
+ "mfn %#"PRI_xen_pfn" doesn't belong to d%d\n",
+ mfn, d->domain_id);
goto out;
}
put_page(page);