tag	line	file	source code
stack_start	96	kernel/sched.c	} stack_start = { & user_stack [PAGE_SIZE>>2] , KERNEL_DS };
stack_start	298	zBoot/misc.c	} stack_start = { & user_stack [STACK_SIZE] , KERNEL_DS };