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