tag	line	file	source code
CONFIG_PROFILE	251	init/main.c	#ifdef CONFIG_PROFILE
CONFIG_PROFILE	434	kernel/sched.c	#ifdef CONFIG_PROFILE