tag	line	file	source code
stack_start	68	kernel/sched.c	} stack_start = { & user_stack [PAGE_SIZE>>2] , 0x10 };
stack_start	272	zBoot/misc.c	} stack_start = { & user_stack [STACK_SIZE] , 0x10 };