set_irq_happened 3314 arch/powerpc/kvm/book3s_hv.c 	set_irq_happened(trap);
set_irq_happened 4147 arch/powerpc/kvm/book3s_hv.c 	set_irq_happened(trap);