On Wed, 2015-11-18 at 17:27 +0000, Julien Grall wrote: Subject: ... which do not exist in the ...
> The range of valid IROUTER<n> 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" > > Also remove the now unused label read_as_zero_64 and write_ignore_64. > > Note that GICD_IROUTER is kept to accomadate the GICv3 drivers which has "accommodate" > been in part taken from Linux. > > Signed-off-by: Julien Grall <julien.gr...@citrix.com> Accesses to 0x6000-0x60FF are going to be noisy now, I suppose that is OK. Acked-by: Ian Campbell <ian.campb...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
