Changeset 188 for trunk/kernel/kern/thread.c

Timestamp:

Jul 12, 2017, 8:12:41 PM (7 years ago)

Author:

alain

Message:

Redefine the PIC device API.

File:

• trunk/kernel/kern/thread.c (modified) (3 diffs)

trunk/kernel/kern/thread.c

@@ -34 +34 @@
 #include <process.h>
 #include <scheduler.h>
-#include <dev_icu.h>
+#include <dev_pic.h>
 #include <core.h>
 #include <list.h>
@@ -718 +718 @@
     thread_block( target , THREAD_BLOCKED_GLOBAL );
 
-    // send an IPI to reschedule the target thread core.
-    dev_icu_send_ipi( local_cxy , target->core->lid );
+    // send an IPI to schedule the target thread core.
+    dev_pic_send_ipi( local_cxy , target->core->lid );
 }
 
@@ -739 +739 @@
         idle_dmsg("\n[INFO] %s : core[%x][%d] wake up at cycle %d\n",
                     __FUNCTION__ , local_cxy , lid , hal_get_cycles() );
-
-                // acknowledge IRQ
-        dev_icu_irq_handler();
 
         // force scheduling