1 files changed, 1 insertions, 13 deletions
diff --git a/hw/ppc_booke.c b/hw/ppc_booke.c
index 3e2fff588a..88719458b0 100644
--- a/hw/ppc_booke.c
+++ b/hw/ppc_booke.c
@@ -153,15 +153,9 @@ static void booke_update_fixed_timer(CPUState         *env,
 
 static void booke_decr_cb(void *opaque)
 {
-    CPUState *env;
-    ppc_tb_t *tb_env;
-    booke_timer_t *booke_timer;
+    CPUState *env = opaque;
 
-    env = opaque;
-    tb_env = env->tb_env;
-    booke_timer = tb_env->opaque;
     env->spr[SPR_BOOKE_TSR] |= TSR_DIS;
-
     booke_update_irq(env);
 
     if (env->spr[SPR_BOOKE_TCR] & TCR_ARE) {
@@ -211,13 +205,7 @@ static void booke_wdt_cb(void *opaque)
 
 void store_booke_tsr(CPUState *env, target_ulong val)
 {
-    ppc_tb_t *tb_env = env->tb_env;
-    booke_timer_t *booke_timer;
-
-    booke_timer = tb_env->opaque;
-
     env->spr[SPR_BOOKE_TSR] &= ~val;
-
     booke_update_irq(env);
 }