Lines Matching refs:thread
27 #include <thread.h>
354 Thread *thread = thread_get_current_thread();
360 dprintf("FAR: %08lx, FSR: %08x, isUser: %d, isWrite: %d, isExec: %d, thread: %s\n", far, fsr, isUser, isWrite, isExec, thread->name);
366 // If this CPU or this thread has a fault handler, we're allowed to be
368 if (thread != NULL) {
379 if (thread->fault_handler != 0) {
380 kprintf("ERROR: thread::fault_handler used in kernel "
384 frame->pc = reinterpret_cast<uintptr_t>(thread->fault_handler);
406 // disabled, which in most cases is a bug. We should add some thread
408 uintptr_t handler = reinterpret_cast<uintptr_t>(thread->fault_handler);
409 if (thread && thread->fault_handler != 0) {
427 } else if (thread != NULL && thread->page_faults_allowed < 1) {
475 Thread* thread = thread_get_current_thread();
477 if (thread->cpu->invoke_scheduler) {
478 SpinLocker schedulerLocker(thread->scheduler_lock);
482 } else if (thread->post_interrupt_callback != NULL) {
483 void (*callback)(void*) = thread->post_interrupt_callback;
484 void* data = thread->post_interrupt_data;
486 thread->post_interrupt_callback = NULL;
487 thread->post_interrupt_data = NULL;