diff --git a/target/ppc/machine.c b/target/ppc/machine.c index e475206c6a..feeb449e4d 100644 --- a/target/ppc/machine.c +++ b/target/ppc/machine.c @@ -192,6 +192,11 @@ static int cpu_pre_save(void *opaque) if (cpu->pre_2_8_migration) { cpu->mig_msr_mask = env->msr_mask; cpu->mig_insns_flags = env->insns_flags & insns_compat_mask; + /* CPU models supported by old machines all have PPC_MEM_TLBIE, + * so we set it unconditionally to allow backward migration from + * a POWER9 host to a POWER8 host. + */ + cpu->mig_insns_flags |= PPC_MEM_TLBIE; cpu->mig_insns_flags2 = env->insns_flags2 & insns_compat_mask2; cpu->mig_nb_BATs = env->nb_BATs; }