Lines Matching refs:thread
22 #include <thread.h>
108 Thread *thread = thread_get_current_thread();
111 if (thread)
112 ppc_push_iframe(&thread->arch_info.iframes, iframe);
129 // if this CPU or this thread has a fault handler,
137 Thread *thread = thread_get_current_thread();
138 if (thread && thread->fault_handler != 0) {
140 reinterpret_cast<uintptr_t>(thread->fault_handler);
157 } else if (thread != NULL && thread->page_faults_allowed < 1) {
249 if (thread->cpu->invoke_scheduler) {
250 SpinLocker schedulerLocker(thread->scheduler_lock);
254 } else if (thread->post_interrupt_callback != NULL) {
255 void (*callback)(void*) = thread->post_interrupt_callback;
256 void* data = thread->post_interrupt_data;
258 thread->post_interrupt_callback = NULL;
259 thread->post_interrupt_data = NULL;
267 if (thread)
268 ppc_pop_iframe(&thread->arch_info.iframes);
319 // kernel_stack is set when the current thread changes. At this point