taglinefilesource code
kernel_stacks52arch/i386/kernel/smp.cunsigned char *kernel_stacks[NR_CPUS];      /* Kernel stack pointers for CPU's (debugging)    */
kernel_stacks486arch/i386/kernel/smp.ckernel_stacks[boot_cpu_id]=(void *)init_user_stack;  /* Set up for boot processor first */
kernel_stacks506arch/i386/kernel/smp.ckernel_stacks[i]=stack;
kernel_stacks178include/asm-i386/smp.hextern unsigned char *kernel_stacks[NR_CPUS];