free_kernel_stack
free_kernel_stack(area, base, top);
free_kernel_stack(kernel_stack_area, kernel_stack_base, kernel_stack_top);