[Xen-devel] [PATCH v2 02/11] xen/arm: vgic-v3: Don't try to emulate IROUTER which doesn't exist in the spec

2015-11-18 Thread Julien Grall
The range of valid IROUTER are n = 32 - 1019 (see 8.9.13 in IHI 0069A) which correspond to the offset 0x6100-0x7FD8. Other offset are invalid and therefore should not be emulated. Also remove the now unused label read_as_zero_64 and write_ignore_64. Note that GICD_IROUTER is kept to accomadate t

Re: [Xen-devel] [PATCH v2 02/11] xen/arm: vgic-v3: Don't try to emulate IROUTER which doesn't exist in the spec

2015-11-24 Thread Ian Campbell
On Wed, 2015-11-18 at 17:27 +, Julien Grall wrote: Subject: ... which do not exist in the ... > The range of valid IROUTER are n = 32 - 1019 (see 8.9.13 in IHI 0069A) > which correspond to the offset 0x6100-0x7FD8. > > Other offset are invalid and therefore should not be emulated. "offsets"

Re: [Xen-devel] [PATCH v2 02/11] xen/arm: vgic-v3: Don't try to emulate IROUTER which doesn't exist in the spec

2015-11-30 Thread Julien Grall
Hi Ian, On 24/11/15 17:17, Ian Campbell wrote: > On Wed, 2015-11-18 at 17:27 +, Julien Grall wrote: > > Subject: ... which do not exist in the ... > >> The range of valid IROUTER are n = 32 - 1019 (see 8.9.13 in IHI 0069A) >> which correspond to the offset 0x6100-0x7FD8. >> >> Other offset a