vm_thread_stack_back
static int vm_thread_stack_back(void *kaddr, vm_page_t ma[], int npages,
if (vm_thread_stack_back(ks, ma, pages, req, domain) != 0) {