[PATCH 0/2] target/ppc: Easy parts of the POWER chiptod series

[Nicholas Piggin]

Cedric kindly reviewed these already so I think they should be
good to go now. This is just a rebase and slight rewording the
changelog. Still haven't completed the main chiptod device yet.

Thanks,
Nick

Nicholas Piggin (2):
  target/ppc: Tidy POWER book4 SPR registration
  target/ppc: Add TFMR SPR implementation with read and write helpers

 target/ppc/cpu_init.c        | 82 ++++++++++++++++++++++++------------
 target/ppc/helper.h          |  2 +
 target/ppc/spr_common.h      |  2 +
 target/ppc/timebase_helper.c | 13 ++++++
 target/ppc/translate.c       | 10 +++++
 5 files changed, 82 insertions(+), 27 deletions(-)

-- 
2.40.1