On Wed, Sep 17, 2014 at 10:07:13PM +0100, Russell King - ARM Linux wrote: > On Wed, Sep 17, 2014 at 01:12:23PM -0700, Daniel Thompson wrote: > > I may have missed something but this sounds like the expected behaviour > > to me. > > > > Without AckCtl set (GIC_CPU_CTRL bit 2) then it is not possible to > > acknowledge group 1 interrupts from secure mode. Thus in the > > circumstances described above I would expect the system to wedge in the > > interrupt handler because IRQ is raised but the software is not able to > > acknowledge it. > > Setting AckCtl (0x07) results in no change in behaviour - still crashes > when it tries to calibrate the timer. > > > I think there may also problems with leaving CBPR unset. Leaving CBPR > > unset certainly causes a change of behaviour compared to an all group0 > > setup. > > Also tried setting that (0x17), but still the same.
Another data point: SDP4430 boots fine with 0x17. The Versatile Express has GIC ID/TYPER register values of: GICC IDR: 0x3901043b GICD TYPER: 0x0000fc62 The SDP4430 has: GICC IDR: 0x3901043b GICD TYPER: 0x0000fc24 so they should in theory be identical GICs, and should behave identically, but they don't. -- FTTC broadband for 0.8mile line: currently at 9.5Mbps down 400kbps up according to speedtest.net. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
