tag	line	file	source code
kernel_stacks	55	arch/i386/kernel/smp.c	unsigned char *kernel_stacks[NR_CPUS];      /* Kernel stack pointers for CPU's (debugging)    */
kernel_stacks	500	arch/i386/kernel/smp.c	kernel_stacks[boot_cpu_id]=(void *)init_user_stack;  /* Set up for boot processor first */
kernel_stacks	520	arch/i386/kernel/smp.c	kernel_stacks[i]=stack;
kernel_stacks	179	include/asm-i386/smp.h	extern unsigned char *kernel_stacks[NR_CPUS];