Searched refs:active_processor (Results 1 – 1 of 1) sorted by relevance
3166 processor_t active_processor = NULL; in pset_cancel_deferred_dispatch() local3194 active_processor = processor_array[cpuid]; in pset_cancel_deferred_dispatch()3216 if (active_processor != processor) { in pset_cancel_deferred_dispatch()3222 processor_state_update_idle(active_processor); in pset_cancel_deferred_dispatch()3223 active_processor->deadline = RT_DEADLINE_NONE; in pset_cancel_deferred_dispatch()3224 pset_update_processor_state(pset, active_processor, PROCESSOR_IDLE); in pset_cancel_deferred_dispatch()3225 bit_clear(pset->pending_deferred_AST_cpu_mask, active_processor->cpu_id); in pset_cancel_deferred_dispatch()3226 machine_signal_idle_cancel(active_processor); in pset_cancel_deferred_dispatch()