tag	line	file	source code
intr_count	40	kernel/irq.c	unsigned long intr_count = 0;
intr_count	337	kernel/irq.c	intr_count = 0;