tag	line	file	source code
irqs_used	44	drivers/net/auto_irq.c	int irqs_used = 0x01;    /* The set of fixed IRQs sometimes enabled. */
irqs_used	73	drivers/net/auto_irq.c	irqs_used |= ~irq_handled;