tag	line	file	source code
init_kernel_stack	270	include/linux/sched.h	sizeof(init_kernel_stack) + (long) &init_kernel_stack, KERNEL_DS, 0, \
init_kernel_stack	56	kernel/sched.c	static unsigned long init_kernel_stack[1024];
init_kernel_stack	499	kernel/sched.c	stack = (unsigned char *) init_kernel_stack;
init_kernel_stack	500	kernel/sched.c	j = sizeof(init_kernel_stack);