Lines Matching defs:processor
75 #include <kern/processor.h>
717 processor_t processor = thread->last_processor;
719 if ( processor != PROCESSOR_NULL &&
720 processor->state == PROCESSOR_RUNNING &&
721 processor->active_thread == thread )
722 cause_ast_check(processor);
914 processor_t processor;
918 processor = thread->last_processor;
919 if ( processor != PROCESSOR_NULL &&
920 processor->state == PROCESSOR_RUNNING &&
921 processor->active_thread == thread )
922 cause_ast_check(processor);