tag	line	file	source code
PROFILE_SHIFT	230	init/main.c	#ifdef PROFILE_SHIFT
PROFILE_SHIFT	233	init/main.c	prof_len >>= PROFILE_SHIFT;
PROFILE_SHIFT	410	kernel/sched.c	#ifdef PROFILE_SHIFT
PROFILE_SHIFT	413	kernel/sched.c	eip >>= PROFILE_SHIFT;