diff --git a/target-ppc/helper.c b/target-ppc/helper.c
index 3d686c10a6..9caeb25b37 100644
--- a/target-ppc/helper.c
+++ b/target-ppc/helper.c
@@ -2911,7 +2911,8 @@ void cpu_ppc_reset (void *opaque)
     msr_pr = 1;
 #else
     env->nip = env->hreset_vector | env->excp_prefix;
-    ppc_tlb_invalidate_all(env);
+    if (env->mmu_model != POWERPC_MMU_REAL_4xx)
+        ppc_tlb_invalidate_all(env);
 #endif
     do_compute_hflags(env);
     env->reserve = -1;
diff --git a/target-ppc/translate_init.c b/target-ppc/translate_init.c
index 9f465bdf18..89987d6400 100644
--- a/target-ppc/translate_init.c
+++ b/target-ppc/translate_init.c
@@ -2729,7 +2729,6 @@ static void init_proc_IOP480 (CPUPPCState *env)
 /* PowerPC 403                                                               */
 #define POWERPC_INSNS_403    (POWERPC_INSNS_EMB |                             \
                               PPC_MEM_SYNC | PPC_MEM_EIEIO |                  \
-                              PPC_40x_TLB | PPC_MEM_TLBIA | PPC_MEM_TLBSYNC | \
                               PPC_4xx_COMMON | PPC_40x_EXCP | PPC_40x_ICBT)
 #define POWERPC_MSRM_403     (0x000000000007D00DULL)
 #define POWERPC_MMU_403      (POWERPC_MMU_REAL_4xx)