tag	line	file	source code
first_cpu	738	init/main.c	static int first_cpu=1;
first_cpu	740	init/main.c	if(!first_cpu)
first_cpu	742	init/main.c	first_cpu=0;