Signed-off-by: Liu Yu <yu.liu@xxxxxxxxxxxxx> --- target-ppc/helper.c | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/target-ppc/helper.c b/target-ppc/helper.c index 4676d50..970165d 100644 --- a/target-ppc/helper.c +++ b/target-ppc/helper.c @@ -1939,6 +1939,8 @@ void ppc_tlb_invalidate_all (CPUPPCState *env) break; case POWERPC_MMU_BOOKE_FSL: /* XXX: TODO */ + if (kvm_enabled()) + break; cpu_abort(env, "BookE MMU model is not implemented\n"); break; case POWERPC_MMU_32B: -- 1.5.4 -- To unsubscribe from this list: send the line "unsubscribe kvm-ppc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html