Hi Ian,
On 20/01/15 16:05, Ian Campbell wrote:
> On Mon, 2015-01-19 at 16:29 +, 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 addin
On Mon, 2015-01-19 at 16:29 +, 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
Also remove vGICv3 in the message log as gdprintk already print the name
of the file.
Signed-off-by: Julien Grall
---
xen/arch/arm/vgic-v3.c | 85 ++
1 file changed, 45 insertions(+), 40 deletions(-)
diff --git a/xen/arch/arm/vgic-v3.c b/xen/arch/