Re: [Xen-devel] [PATCH for-4.6] xen/arm: vgic-v2: Map the GIC virtual CPU interface with the correct size

2015-09-21 Thread Ian Campbell
On Fri, 2015-09-18 at 09:53 +0100, Ian Campbell wrote: > On Thu, 2015-09-17 at 19:00 +0100, Julien Grall wrote: > > On GICv2, the GIC virtual CPU interface is at minimum 8KB. Due some to > > some necessary quirk for GIC using 64KB stride, we are mapping the > > region in 2 time. > > The first

Re: [Xen-devel] [PATCH for-4.6] xen/arm: vgic-v2: Map the GIC virtual CPU interface with the correct size

2015-09-21 Thread Ian Campbell
On Mon, 2015-09-21 at 13:28 +0100, Julien Grall wrote: > Hi Ian, > > On 21/09/15 12:54, Ian Campbell wrote: > > On Fri, 2015-09-18 at 09:53 +0100, Ian Campbell wrote: > > > On Thu, 2015-09-17 at 19:00 +0100, Julien Grall wrote: > > > > On GICv2, the GIC virtual CPU interface is at minimum 8KB.

Re: [Xen-devel] [PATCH for-4.6] xen/arm: vgic-v2: Map the GIC virtual CPU interface with the correct size

2015-09-21 Thread Julien Grall
Hi Ian, On 21/09/15 12:54, Ian Campbell wrote: > On Fri, 2015-09-18 at 09:53 +0100, Ian Campbell wrote: >> On Thu, 2015-09-17 at 19:00 +0100, Julien Grall wrote: >>> On GICv2, the GIC virtual CPU interface is at minimum 8KB. Due some to >>> some necessary quirk for GIC using 64KB stride, we are

Re: [Xen-devel] [PATCH for-4.6] xen/arm: vgic-v2: Map the GIC virtual CPU interface with the correct size

2015-09-18 Thread Ian Campbell
On Thu, 2015-09-17 at 19:00 +0100, Julien Grall wrote: > On GICv2, the GIC virtual CPU interface is at minimum 8KB. Due some to > some necessary quirk for GIC using 64KB stride, we are mapping the > region in 2 time. > The first mapping is 4KB and the second one is 8KB, i.e 12KB in total. >

[Xen-devel] [PATCH for-4.6] xen/arm: vgic-v2: Map the GIC virtual CPU interface with the correct size

2015-09-17 Thread Julien Grall
On GICv2, the GIC virtual CPU interface is at minimum 8KB. Due some to some necessary quirk for GIC using 64KB stride, we are mapping the region in 2 time. The first mapping is 4KB and the second one is 8KB, i.e 12KB in total. Although the minimum supported size (and widely used) is 8KB. This