taglinefilesource code
saved_kernel_stack65arch/i386/kernel/vm86.ccurrent->tss.esp0 = current->saved_kernel_stack;
saved_kernel_stack66arch/i386/kernel/vm86.ccurrent->saved_kernel_stack = 0;
saved_kernel_stack108arch/i386/kernel/vm86.cif (current->saved_kernel_stack)
saved_kernel_stack151arch/i386/kernel/vm86.ccurrent->saved_kernel_stack = current->tss.esp0;
saved_kernel_stack170include/linux/sched.hunsigned long saved_kernel_stack;