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