irq_mark_irq       58 kernel/irq/chip.c 	irq_mark_irq(irq);
irq_mark_irq       97 kernel/irq/internals.h extern void irq_mark_irq(unsigned int irq);