Lines Matching refs:thread
30 #include <kern/thread.h>
414 thread_t thread = current_thread();
431 if (thread == NULL)
434 pal_register_cache_state(thread, VALID);
435 regs = (x86_saved_state_t *)find_user_regs(thread);
486 thread_t thread = current_thread();
492 if (thread == NULL)
498 pal_register_cache_state(thread, VALID);
499 regs = (x86_saved_state_t *)find_user_regs(thread);
539 thread_t thread = current_thread();
559 if (thread == NULL)
562 regs = (savearea_t *)find_user_regs(thread);
687 * Hop from interrupt stack to thread stack.