vm_thread_stack_create
ks = vm_thread_stack_create(DOMAINSET_PREF(PCPU_GET(domain)),
store[i] = vm_thread_stack_create(ds, kstack_pages, flags);