void report_bad_irq(unsigned int irq, irq_desc_t *desc, irqreturn_t action_ret) 
static void report_bad_irq(unsigned int irq, irq_desc_t *desc, irqreturn_t action_ret) 
void report_bad_irq(unsigned int irq, irq_desc_t *desc, irqreturn_t action_ret){	static int count = 100;	if (count > 0) {		count--;		__report_bad_irq(irq, desc, action_ret);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/52c1da39534fb382c061de58b65f678ad74b59f5/spurious.c/clean/kernel/irq/spurious.c