Here's a rollup of where this ended up, hopefully it suits everyone's preference. Thanks for the review and catching several issues.
Patches 1-3 are unchanged except for minor comment and changelog tweaks, patch 4 contains fixes for the issues Cedric noticed. Thanks, Nick Nicholas Piggin (4): target/ppc: Fix POWER9 radix guest HV interrupt AIL behaviour target/ppc: POWER10 supports scv target/ppc: Rework AIL logic in interrupt delivery target/ppc: Add POWER10 exception model hw/ppc/spapr_hcall.c | 8 +- target/ppc/cpu-qom.h | 2 + target/ppc/cpu.h | 13 +-- target/ppc/excp_helper.c | 199 +++++++++++++++++++++++--------- target/ppc/translate.c | 3 +- target/ppc/translate_init.c.inc | 6 +- 6 files changed, 163 insertions(+), 68 deletions(-) -- 2.23.0