|
@@ -795,7 +795,7 @@ static void kvmppc_restart_interrupt(struct kvm_vcpu *vcpu,
|
|
|
kvmppc_fill_pt_regs(®s);
|
|
|
timer_interrupt(®s);
|
|
|
break;
|
|
|
-#if defined(CONFIG_PPC_FSL_BOOK3E) || defined(CONFIG_PPC_BOOK3E_64)
|
|
|
+#if defined(CONFIG_PPC_DOORBELL)
|
|
|
case BOOKE_INTERRUPT_DOORBELL:
|
|
|
kvmppc_fill_pt_regs(®s);
|
|
|
doorbell_exception(®s);
|