On Wed, 5 Dec 2012, Will Deacon wrote: > From: Marc Zyngier <Marc.Zyngier@xxxxxxx> > > A bug in the KVM GIC init code set the priority mask to the > highest possible value, while the reset value should be zero. > > Now that the kernel bug is fixed, kvm-tool must properly configure > its GIC CPU interface in order to receive the boot IPI. Just set > the GICC_PMR register to the maximum value (0xff), and it "just works". > > Cc: Pekka Enberg <penberg@xxxxxxxxxx> > Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> > [will: added #define for PMR offset] > Signed-off-by: Will Deacon <will.deacon@xxxxxxx> Applied all three patches, thanks Will! -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html