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