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);