From c49638177f4e001588fe73b2acf7e4293aeb194b Mon Sep 17 00:00:00 2001
From: Liu Yu <yu.liu@freescale.com>
Date: Wed, 27 Jan 2010 14:14:09 +0800
Subject: [PATCH] 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>
---
 hw/ppc440_bamboo.c     | 2 ++
 hw/ppce500_mpc8544ds.c | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/hw/ppc440_bamboo.c b/hw/ppc440_bamboo.c
index 1ab9872710..6d9c1b9cc5 100644
--- 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 ea30816b32..6199bd5aac 100644
--- 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;