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