Lines Matching defs:thread
30 #include <kern/thread.h>
260 thread_t thread = current_thread();
277 if (thread == NULL)
280 regs = (x86_saved_state_t *)find_user_regs(thread);
333 thread_t thread = current_thread();
339 if (thread == NULL)
345 regs = (x86_saved_state_t *)find_user_regs(thread);
383 thread_t thread = current_thread();
403 if (thread == NULL)
406 regs = (savearea_t *)find_user_regs(thread);
535 * Hop from interrupt stack to thread stack.