taglinefilesource code
PROFILE_SHIFT174init/main.c#ifdef PROFILE_SHIFT
PROFILE_SHIFT177init/main.cprof_len >>= PROFILE_SHIFT;
PROFILE_SHIFT421kernel/sched.c#ifdef PROFILE_SHIFT
PROFILE_SHIFT424kernel/sched.ceip >>= PROFILE_SHIFT;