vm_thread_free_kstack_kva
vm_thread_free_kstack_kva(ks - ptoa(KSTACK_GUARD_PAGES),
vm_thread_free_kstack_kva((char *)ks - (KSTACK_GUARD_PAGES * PAGE_SIZE),