tag
line
file
source code
PROFILE_SHIFT
174
init/main.c
#ifdef PROFILE_SHIFT
PROFILE_SHIFT
177
init/main.c
prof_len >>= PROFILE_SHIFT;
PROFILE_SHIFT
421
kernel/sched.c
#ifdef PROFILE_SHIFT
PROFILE_SHIFT
424
kernel/sched.c
eip >>= PROFILE_SHIFT;