When we get a performance monitor interrupt, we need to make sure that
the host receives it. So reinject it like we reinject the other host
destined interrupts.
Signed-off-by: Alexander Graf <agraf@suse.de>
Signed-off-by: Avi Kivity <avi@redhat.com>
 extern void __replay_interrupt(unsigned int vector);
 
 extern void timer_interrupt(struct pt_regs *);
+extern void performance_monitor_exception(struct pt_regs *regs);
 
 #ifdef CONFIG_PPC64
 #include <asm/paca.h>
 
        case BOOKE_INTERRUPT_MACHINE_CHECK:
                /* FIXME */
                break;
+       case BOOKE_INTERRUPT_PERFORMANCE_MONITOR:
+               kvmppc_fill_pt_regs(®s);
+               performance_monitor_exception(®s);
+               break;
        }
 }