printk(KERN_ERR "xics_disable_real_irq: irq=%d: " "ibm_int_off returned %x\n", irq, call_status); 
printk(KERN_ERR "xics_disable_real_irq: irq=%u: " "ibm_int_off returned %d\n", irq, call_status); 
static void xics_disable_real_irq(unsigned int irq){	int call_status;	unsigned int server;	if (irq == XICS_IPI)		return;	call_status = rtas_call(ibm_int_off, 1, 1, NULL, irq);	if (call_status != 0) {		printk(KERN_ERR "xics_disable_real_irq: irq=%d: "		       "ibm_int_off returned %x\n", irq, call_status);		return;	}	server = get_irq_server(irq);	/* Have to set XIVE to 0xff to be able to remove a slot */	call_status = rtas_call(ibm_set_xive, 3, 1, NULL, irq, server, 0xff);	if (call_status != 0) {		printk(KERN_ERR "xics_disable_irq: irq=%d: ibm_set_xive(0xff)"		       " returned %x\n", irq, call_status);		return;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/26370322d8e3504db61cb8d438a9fca3b87ac0db/xics.c/clean/arch/ppc64/kernel/xics.c