[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

Hi Ian,

On 20/01/15 16:05, Ian Campbell wrote:
> 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)

Will do.

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


Julien Grall

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.