Lines Matching defs:thread
30 #include <kern/thread.h>
273 thread_t thread = current_thread();
290 if (thread == NULL)
293 regs = (ppc_saved_state_t *)find_user_regs(thread);
341 thread_t thread = current_thread();
347 if (thread == NULL)
353 regs = (ppc_saved_state_t *)find_user_regs(thread);
384 thread_t thread = current_thread();
404 if (thread == NULL)
407 regs = (ppc_saved_state_t *)find_user_regs(thread);
527 * Hop from interrupt stack to thread stack.