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