tag	line	file	source code
intr_count	37	kernel/irq.c	static unsigned long intr_count=0;
intr_count	284	kernel/irq.c	intr_count = 0;