SMP - smp_schedule()

- always issues an IPI

diff --git a/kernel/smp.c b/kernel/smp.c
index 6ead02a0695854a6cc28c8f04ab656c96122e922..8a521f4748d047727c39c41b8c504e9303985bf4 100644 (file)
--- 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);
 }