tag	line	file	source code
free_kernel_stack	100	kernel/exit.c	free_kernel_stack(p->kernel_stack_page);
free_kernel_stack	288	kernel/fork.c	free_kernel_stack(new_stack);