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