Symbol: set_irq_happened
arch/powerpc/kvm/book3s_hv.c
4024
set_irq_happened(trap);
arch/powerpc/kvm/book3s_hv.c
4998
set_irq_happened(trap);