tag	line	file	source code
saved_kernel_stack	63	arch/i386/kernel/vm86.c	current->tss.esp0 = current->saved_kernel_stack;
saved_kernel_stack	64	arch/i386/kernel/vm86.c	current->saved_kernel_stack = 0;
saved_kernel_stack	94	arch/i386/kernel/vm86.c	if (current->saved_kernel_stack)
saved_kernel_stack	137	arch/i386/kernel/vm86.c	current->saved_kernel_stack = current->tss.esp0;
saved_kernel_stack	153	include/linux/sched.h	unsigned long saved_kernel_stack;