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

Reply via email to