From f599a587e1c7446a76d7d62ed7748f3c4435acd8 Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Wed, 10 Nov 2010 12:20:48 -0500
Subject: Hook up LITMUS^RT remote preemption support on ARM

Call into scheduler state machine in the IPI handler.
---
 arch/arm/kernel/smp.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/arch/arm/kernel/smp.c b/arch/arm/kernel/smp.c
index 40dc74f2b27f..b72fbf3d043c 100644
--- a/arch/arm/kernel/smp.c
+++ b/arch/arm/kernel/smp.c
@@ -38,6 +38,8 @@
 #include <asm/localtimer.h>
 #include <asm/smp_plat.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
@@ -533,6 +535,8 @@ asmlinkage void __exception do_IPI(struct pt_regs *regs)
 				 * nothing more to do - eveything is
 				 * done on the interrupt return path
 				 */
+				/* LITMUS^RT: take action based on scheduler state */
+				sched_state_ipi();
 				break;
 
 			case IPI_CALL_FUNC:
-- 
cgit v1.2.2