taglinefilesource code
CONFIG_PROFILE431init/main.c#ifdef CONFIG_PROFILE
CONFIG_PROFILE670kernel/sched.c#ifdef CONFIG_PROFILE