processor->current_pri = thread->sched_pri;
if ( processor->state == PROCESSOR_RUNNING ||
processor->state == PROCESSOR_SHUTDOWN ) {
processor->current_pri = thread->sched_pri;
if ( processor->state == PROCESSOR_RUNNING ||
processor->state == PROCESSOR_SHUTDOWN ) {