Searched refs:active_processor (Results 1 – 1 of 1) sorted by relevance
3506 processor_t active_processor = NULL; in pset_cancel_deferred_dispatch() local3534 active_processor = processor_array[cpuid]; in pset_cancel_deferred_dispatch()3556 if (active_processor != processor) { in pset_cancel_deferred_dispatch()3562 processor_state_update_idle(active_processor); in pset_cancel_deferred_dispatch()3563 active_processor->deadline = RT_DEADLINE_NONE; in pset_cancel_deferred_dispatch()3564 pset_update_processor_state(pset, active_processor, PROCESSOR_IDLE); in pset_cancel_deferred_dispatch()3565 bit_clear(pset->pending_deferred_AST_cpu_mask, active_processor->cpu_id); in pset_cancel_deferred_dispatch()3566 machine_signal_idle_cancel(active_processor); in pset_cancel_deferred_dispatch()