@@ -1816,6 +1816,9 @@ void scheduler_ipi(void) */ preempt_fold_need_resched();/* Let LITMUS^RT preemption state machine know about this IPI. */ sched_state_ipi();if (llist_empty(&this_rq()->wake_list) && !got_n