s_IRQ            1030 arch/powerpc/kvm/mpic.c 	int s_IRQ, n_IRQ;
s_IRQ            1082 arch/powerpc/kvm/mpic.c 		s_IRQ = IRQ_get_next(opp, &dst->servicing);
s_IRQ            1084 arch/powerpc/kvm/mpic.c 		if (s_IRQ < 0) {
s_IRQ            1090 arch/powerpc/kvm/mpic.c 		IRQ_resetbit(&dst->servicing, s_IRQ);
s_IRQ            1092 arch/powerpc/kvm/mpic.c 		notify_eoi = s_IRQ;
s_IRQ            1094 arch/powerpc/kvm/mpic.c 		s_IRQ = IRQ_get_next(opp, &dst->servicing);
s_IRQ            1099 arch/powerpc/kvm/mpic.c 		    (s_IRQ == -1 ||