vm_thread_stack_dispose
vm_thread_stack_dispose(ks, pages);
vm_thread_stack_dispose(ks, kstack_pages);