These are a bunch of small fixes and improvements for ppc. I've
posted these before so I'll just end up merging them this cycle.

Thanks,
Nick

Nicholas Piggin (5):
  target/ppc: fix timebase register reset state
  spapr: Fix vpa dispatch count for record-replay
  spapr: Generate random HASHPKEYR for spapr machines
  target/ppc: Avoid warning message for zero process table entries
  target/ppc: Wire up BookE ATB registers for e500 family

 include/hw/ppc/spapr.h          |  1 +
 include/hw/ppc/spapr_cpu_core.h |  3 +++
 hw/ppc/ppc.c                    | 11 +++++++---
 hw/ppc/spapr.c                  | 39 +++++----------------------------
 hw/ppc/spapr_cpu_core.c         |  2 ++
 hw/ppc/spapr_hcall.c            | 33 ++++++++++++++++++++++++++++
 hw/ppc/spapr_rtas.c             |  1 +
 target/ppc/cpu_init.c           | 17 ++++++++++++++
 target/ppc/mmu-radix64.c        | 14 ++++++++++++
 9 files changed, 84 insertions(+), 37 deletions(-)

-- 
2.45.2