taglinefilesource code
init_user_stack469arch/i386/kernel/smp.cextern unsigned long init_user_stack[];
init_user_stack486arch/i386/kernel/smp.ckernel_stacks[boot_cpu_id]=(void *)init_user_stack;  /* Set up for boot processor first */
init_user_stack80kernel/sched.cunsigned long init_user_stack[1024] = { STACK_MAGIC, };