taglinefilesource code
free_kernel_stack100kernel/exit.cfree_kernel_stack(p->kernel_stack_page);
free_kernel_stack288kernel/fork.cfree_kernel_stack(new_stack);