tag	line	file	source code
irqs_busy	44	drivers/net/auto_irq.c	unsigned long irqs_busy = 0x2147;    /* The set of fixed IRQs (keyboard, timer, etc) */
irqs_busy	69	drivers/net/auto_irq.c	if (test_bit(i, &irqs_busy) == 0