taglinefilesource code
CONFIG_PROFILE525init/main.c#ifdef CONFIG_PROFILE
CONFIG_PROFILE675kernel/sched.c#ifdef CONFIG_PROFILE