taglinefilesource code
saved_kernel_stack154include/linux/sched.hunsigned long saved_kernel_stack;
saved_kernel_stack149kernel/sys.ccurrent->tss.esp0 = current->saved_kernel_stack;
saved_kernel_stack150kernel/sys.ccurrent->saved_kernel_stack = 0;
saved_kernel_stack179kernel/sys.cif (current->saved_kernel_stack)
saved_kernel_stack197kernel/sys.ccurrent->saved_kernel_stack = current->tss.esp0;