On 27/10/15 11:33, Julien Grall wrote: > 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 <[email protected]>
Reviewed-by: Andrew Cooper <[email protected]>, with a suggestion as well. > > --- > Cc: Ian Campbell <[email protected]> > Cc: Jan Beulich <[email protected]> > Cc: Keir Fraser <[email protected]> > Cc: Tim Deegan <[email protected]> > --- > 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); This could easily be shortened to "doesn't belong to d%d" which matches our other domain identification. ~Andrew _______________________________________________ Xen-devel mailing list [email protected] http://lists.xen.org/xen-devel
