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.campb...@citrix.com> Thanks, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
