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