Lines Matching refs:stack
195 vm_offset_t stack;
208 stack = machine_stack_detach(old);
209 new->kernel_stack = stack;
211 uint64_t *kstack = (uint64_t*)STACK_IKS(stack);
217 if (stack == old->reserved_stack) {
220 new->reserved_stack = stack;
225 * because old stack is already initialized.
265 * Attach a stack to a thread and populate its members.
267 void machine_stack_attach(thread_t thread, vm_offset_t stack)
269 assert(stack != NULL);
272 kprintf("machine_stack_attach: setting stack %p for thread %p\n",
273 stack, thread);
275 uint64_t *kstack = (uint64_t*)STACK_IKS(stack);
277 thread->kernel_stack = stack;
293 * Kill the current stack.
297 vm_offset_t stack;
301 kprintf("machine_stack_detach: killing stack for thread %p\n",
304 stack = thread->kernel_stack;
306 return stack;