IRQ_resetbit      373 arch/powerpc/kvm/mpic.c 		IRQ_resetbit(&dst->raised, n_IRQ);
IRQ_resetbit     1090 arch/powerpc/kvm/mpic.c 		IRQ_resetbit(&dst->servicing, s_IRQ);
IRQ_resetbit     1160 arch/powerpc/kvm/mpic.c 		IRQ_resetbit(&dst->raised, irq);