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