Re: [Xen-devel] [PATCH 06/10] xen/arm: vgic-v3: Print the domain/vcpu in each message

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Mon, 2015-01-19 at 16:29 +0000, Julien Grall wrote:
> Also remove vGICv3 in the message log as gdprintk already print the name
> of the file.

Please mention that the switch to gdprintk is how/where the domain/vcpu
is added, e.g. by adding "... by switching to gdprintk" as the first
line of the main body of the commit log (assuming it won't fit in the
subject)

With that:
Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel