tag	line	file	source code
kstack_base	52	arch/i386/kernel/smp.c	static unsigned char *kstack_base,*kstack_end;    /* Kernel stack list pointers         */
kstack_base	403	arch/i386/kernel/smp.c	kstack_base=(void *)mem_base;
kstack_base	415	arch/i386/kernel/smp.c	void *stack=kstack_base;
kstack_base	416	arch/i386/kernel/smp.c	if(kstack_base>=kstack_end)
kstack_base	418	arch/i386/kernel/smp.c	kstack_base+=PAGE_SIZE;