printk(KERN_ERR "Interrupt %d (real) is invalid," 
printk(KERN_ERR "Interrupt %u (real) is invalid," 
int xics_get_irq(struct pt_regs *regs){	unsigned int cpu = smp_processor_id();	unsigned int vec;	int irq;	vec = ops->xirr_info_get(cpu);	/*  (vec >> 24) == old priority */	vec &= 0x00ffffff;	/* for sanity, this had better be < NR_IRQS - 16 */	if (vec == xics_irq_8259_cascade_real) {		irq = i8259_irq(cpu);		if (irq == -1) {			/* Spurious cascaded interrupt.  Still must ack xics */			xics_end_irq(irq_offset_up(xics_irq_8259_cascade));			irq = -1;		}	} else if (vec == XICS_IRQ_SPURIOUS) {		irq = -1;	} else {		irq = real_irq_to_virt(vec);		if (irq == NO_IRQ)			irq = real_irq_to_virt_slowpath(vec);		if (irq == NO_IRQ) {			printk(KERN_ERR "Interrupt %d (real) is invalid,"			       " disabling it.\n", vec);			xics_disable_real_irq(vec);		} else			irq = irq_offset_up(irq);	}	return irq;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/26370322d8e3504db61cb8d438a9fca3b87ac0db/xics.c/clean/arch/ppc64/kernel/xics.c