tag	line	file	source code
init_user_stack	470	arch/i386/kernel/smp.c	extern unsigned long init_user_stack[];
init_user_stack	487	arch/i386/kernel/smp.c	kernel_stacks[boot_cpu_id]=(void *)init_user_stack;  /* Set up for boot processor first */
init_user_stack	80	kernel/sched.c	unsigned long init_user_stack[1024] = { STACK_MAGIC, };