tag	line	file	source code
stack	95	kernel/ioport.c	unsigned int *stack;
stack	53	kernel/ptrace.c	unsigned char *stack;
stack	55	kernel/ptrace.c	stack = (unsigned char *)task->tss.esp0;
stack	56	kernel/ptrace.c	stack += offset;
stack	57	kernel/ptrace.c	return (*((int *)stack));
stack	69	kernel/ptrace.c	unsigned char * stack;
stack	71	kernel/ptrace.c	stack = (unsigned char *) task->tss.esp0;
stack	72	kernel/ptrace.c	stack += offset;
stack	73	kernel/ptrace.c	*(unsigned long *) stack = data;
stack	73	kernel/sched.c	char stack[PAGE_SIZE];