[PATCH v2 0/7] target/ppc: TCG SMT support for spapr machine

[Nicholas Piggin]

This series is based on some previously posted TCG fixes, in particular
the CTRL register fix is required.

Also added the Philippe's patch in the series to prevent conflict.

Since v1, main changes are just some tidying of comments and changelogs,
and addition of avocado tests to boot Linux on SMT machine and make sure
the CPUs come up, as suggested by Cedric.

Thanks,
Nick

Nicholas Piggin (6):
  target/ppc: Add initial flags and helpers for SMT support
  target/ppc: Add support for SMT CTRL register
  target/ppc: Add msgsnd/p and DPDES SMT support
  spapr: TCG allow up to 8-thread SMT on POWER8 and newer CPUs
  tests/avocado: boot ppc64 pseries to Linux VFS mount
  tests/avocado: Add ppc64 pseries multiprocessor boot tests

Philippe Mathieu-Daudé (1):
  hw/ppc/spapr: Test whether TCG is enabled with tcg_enabled()

 hw/ppc/ppc.c                 |  6 ++++
 hw/ppc/spapr.c               | 16 ++++++---
 hw/ppc/spapr_caps.c          | 14 ++++++++
 hw/ppc/spapr_cpu_core.c      |  7 ++--
 include/hw/ppc/ppc.h         |  1 +
 target/ppc/cpu.h             |  9 +++++
 target/ppc/cpu_init.c        |  5 +++
 target/ppc/excp_helper.c     | 30 +++++++++++++---
 target/ppc/helper.h          |  2 ++
 target/ppc/misc_helper.c     | 69 ++++++++++++++++++++++++++++++++----
 target/ppc/translate.c       | 46 +++++++++++++++++++++++-
 tests/avocado/ppc_pseries.py | 62 ++++++++++++++++++++++++++++----
 12 files changed, 243 insertions(+), 24 deletions(-)

-- 
2.40.1