taglinefilesource code
kstack_end64arch/i386/kernel/smp.cstatic unsigned char *kstack_base,*kstack_end;    /* Kernel stack list pointers         */
kstack_end478arch/i386/kernel/smp.ckstack_end=(void *)mem_base;
kstack_end489arch/i386/kernel/smp.cif(kstack_base>=kstack_end)