From 0bb56e0e0425804124a38daf338aa2779bd25364 Mon Sep 17 00:00:00 2001
From: Tomas Hruby <thruby@few.vu.nl>
Date: Fri, 4 Nov 2011 17:59:31 +0000
Subject: [PATCH] SMP - smp_schedule()

- always issues an IPI
---
 kernel/smp.c | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/kernel/smp.c b/kernel/smp.c
index 6ead02a06..8a521f474 100644
--- a/kernel/smp.c
+++ b/kernel/smp.c
@@ -62,12 +62,6 @@ PUBLIC void smp_ipi_halt_handler(void)
 
 PUBLIC void smp_schedule(unsigned cpu)
 {
-	/*
-	 * check if the cpu is processing some other ipi already. If yes, no
-	 * need to wake it up
-	 */
-	if (sched_ipi_data[cpu].flags != 0)
-		return;
 	arch_send_smp_schedule_ipi(cpu);
 }
 
-- 
2.44.0