Re: [Xen-devel] [PATCH v2] aarch64: advertise the GIC system register interface

2017-11-07 Thread Peter Maydell
On 7 November 2017 at 17:57, Stefano Stabellini wrote: > On Tue, 7 Nov 2017, Peter Maydell wrote: >> I thought about this on the cycle into work this morning, and I >> think that rather than require every board that uses gicv3 >> to set a property on the CPU, we should change the definition >> of

Re: [Xen-devel] [PATCH v2] aarch64: advertise the GIC system register interface

2017-11-07 Thread Stefano Stabellini
On Tue, 7 Nov 2017, Peter Maydell wrote: > On 6 November 2017 at 22:16, Stefano Stabellini > wrote: > > When QEMU emulates a GICv3, it needs to advertise the presence of the > > system register interface, which is done via id_aa64pfr0. > > > > To do that, and at the same time to avoid advertising

Re: [Xen-devel] [PATCH v2] aarch64: advertise the GIC system register interface

2017-11-07 Thread Peter Maydell
On 6 November 2017 at 22:16, Stefano Stabellini wrote: > When QEMU emulates a GICv3, it needs to advertise the presence of the > system register interface, which is done via id_aa64pfr0. > > To do that, and at the same time to avoid advertising the presence of > the system register interface when

[Xen-devel] [PATCH v2] aarch64: advertise the GIC system register interface

2017-11-06 Thread Stefano Stabellini
When QEMU emulates a GICv3, it needs to advertise the presence of the system register interface, which is done via id_aa64pfr0. To do that, and at the same time to avoid advertising the presence of the system register interface when it is actually not available, set a boolean property in machvirt_