ARM: remove LITMUS^RT IPI notifier

1 files changed, 0 insertions, 4 deletions

diff --git a/arch/arm/kernel/smp.c b/arch/arm/kernel/smp.c
index b89255cf8f24..7dd14e8395e6 100644
--- a/arch/arm/kernel/smp.c
+++ b/arch/arm/kernel/smp.c
@@ -51,8 +51,6 @@
 #define CREATE_TRACE_POINTS
 #include <trace/events/ipi.h>
 
-#include <litmus/preempt.h>
-
 /*
  * as from 2.5, kernels no longer have an init_tasks structure
  * so we need some other way of telling a new secondary core
@@ -616,8 +614,6 @@ void handle_IPI(int ipinr, struct pt_regs *regs)
 #endif
 
         case IPI_RESCHEDULE:
-                /* LITMUS^RT: take action based on scheduler state */
-                sched_state_ipi();
                 scheduler_ipi();
                 break;