taglinefilesource code
kstack_base46arch/i386/kernel/smp.cstatic unsigned char *kstack_base,*kstack_end;    /* Kernel stack list pointers         */
kstack_base361arch/i386/kernel/smp.ckstack_base=(void *)mem_base;
kstack_base373arch/i386/kernel/smp.cvoid *stack=kstack_base;
kstack_base374arch/i386/kernel/smp.cif(kstack_base>=kstack_end)
kstack_base376arch/i386/kernel/smp.ckstack_base+=PAGE_SIZE;