This patchset has a couple of fixes for bugs in the GICv3 emulation. I only noticed these in the course of adding the virtualizations support, but they're bugs in the existing non-virtualized code.
Patch 1 is strictly speaking not a GIC patch, but it's an improvement to the debug logging that I found helpful while trying to track down the bugs fixed in patches 2 and 3... (I do now have the virtualization support to a point where it will boot a nested Linux guest. Still a bunch of loose ends to clean up but I hope to get that patchset out to the list before the holidays...) Peter Maydell (3): target-arm: Log AArch64 exception returns hw/intc/arm_gicv3: Remove incorrect usage of fieldoffset hw/intc/arm_gicv3: Don't signal Pending+Active interrupts to CPU hw/intc/arm_gicv3.c | 5 +++++ hw/intc/arm_gicv3_cpuif.c | 13 ++++++------- target-arm/op_helper.c | 9 +++++++++ 3 files changed, 20 insertions(+), 7 deletions(-) -- 2.7.4