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.gr...@citrix.com> --- Cc: Ian Campbell <ian.campb...@citrix.com> Cc: Jan Beulich <jbeul...@suse.com> Cc: Keir Fraser <k...@xen.org> Cc: Tim Deegan <t...@xen.org> --- xen/common/memory.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/common/memory.c b/xen/common/memory.c index f6aed0d..206955f 100644 --- a/xen/common/memory.c +++ b/xen/common/memory.c @@ -141,7 +141,7 @@ static void populate_physmap(struct memop_args *a) { gdprintk(XENLOG_INFO, "mfn %#"PRI_xen_pfn" doesn't belong to the" - " domain\n", mfn); + " domain %d\n", mfn, d->domain_id); goto out; } put_page(page); -- 2.1.4 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel