tag	line	file	source code
kernel_counter	179	include/asm-i386/smp.h	extern volatile unsigned long kernel_flag, kernel_counter;
kernel_counter	185	include/asm-i386/smp.h	extern volatile unsigned long kernel_counter;