On 29/11/12 17:36, Peter Maydell wrote: > On 29 November 2012 17:16, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: >> Userspace needs to know how big the CPU and distrbutor interfaces >> are in order to map them at non overlapping addresses. > > As it happens, QEMU doesn't -- we assume that if we asked for > an A15 with a GIC then you give us a GIC compliant with the A15 TRM > and the GIC v2 spec, which lays down how big the CPU and distributor > memory regions must be. I'm not convinced the kernel needs to > include in its userspace-facing headers definitions which are > purely properties of the hardware. It may not be strictly required, but it definitely helps. Also, if I follow your logic, we shouldn't have two different ranges for the distributor and the CPU interface: the A15 TRM already specifies their relative positions. M. -- Jazz is not dead. It just smells funny... _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm