tag	line	file	source code
user_stack	62	kernel/sched.c	long user_stack [ PAGE_SIZE>>2 ] ;
user_stack	67	kernel/sched.c	} stack_start = { & user_stack [PAGE_SIZE>>2] , 0x10 };