IRQ_setbit        371 arch/powerpc/kvm/mpic.c 		IRQ_setbit(&dst->raised, n_IRQ);
IRQ_setbit       1152 arch/powerpc/kvm/mpic.c 		IRQ_setbit(&dst->servicing, irq);