Lines Matching refs:stack
71 wait_result_t wresult, vm_offset_t stack);
214 vm_offset_t stack;
227 stack = machine_stack_detach(old);
228 new->kernel_stack = stack;
230 uint32_t *kstack = (uint32_t *) STACK_IKS(stack);
236 if (stack == old->reserved_stack) {
239 new->reserved_stack = stack;
244 * because old stack is already initialized.
284 * Attach a stack to a thread and populate its members.
286 void machine_stack_attach(thread_t thread, vm_offset_t stack)
288 assert(stack != NULL);
291 kprintf("machine_stack_attach: setting stack %p for thread %p\n", stack, thread);
293 uint32_t *kstack = (uint32_t *) STACK_IKS(stack);
295 thread->kernel_stack = stack;
307 * Kill the current stack.
311 vm_offset_t stack;
315 kprintf("machine_stack_detach: killing stack for thread %p\n", thread);
317 stack = thread->kernel_stack;
320 return stack;