target-ppc: add synchronize register for booke init

So that the following registers init could be flushed back to kvm.

Signed-off-by: Liu Yu <yu.liu@freescale.com>
Acked-by: Hollis Blanchard <hollis@penguinppc.org>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>

diff --git a/hw/ppc440_bamboo.c b/hw/ppc440_bamboo.c
index 1ab987271062d2883e37b13bcd043a44120bee0a..6d9c1b9cc5deffc6e1ec2aa4e995caca451033f1 100644 (file)
--- a/hw/ppc440_bamboo.c
+++ b/hw/ppc440_bamboo.c
@@ -160,6 +160,8 @@ static void bamboo_init(ram_addr_t ram_size,
             exit(1);
         }
 
+        cpu_synchronize_state(env);
+
         /* Set initial guest state. */
         env->gpr[1] = (16<<20) - 8;
         env->gpr[3] = dt_base;

diff --git a/hw/ppce500_mpc8544ds.c b/hw/ppce500_mpc8544ds.c
index ea30816b32a45a3caf496a54ee6eb524f28dd4b5..6199bd5aac0722cdee5bf5dc95c8c108cae0864f 100644 (file)
--- a/hw/ppce500_mpc8544ds.c
+++ b/hw/ppce500_mpc8544ds.c
@@ -261,6 +261,8 @@ static void mpc8544ds_init(ram_addr_t ram_size,
             exit(1);
         }
 
+        cpu_synchronize_state(env);
+
         /* Set initial guest state. */
         env->gpr[1] = (16<<20) - 8;
         env->gpr[3] = dt_base;