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

Timestamp:

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

Author:

alain

Message:

Redefine the PIC device API.

File:

• trunk/kernel/kern/core.c (modified) (4 diffs)

trunk/kernel/kern/core.c

@@ -30 +30 @@
 #include <thread.h>
 #include <chdev.h>
-#include <dev_icu.h>
+#include <dev_pic.h>
 #include <rpc.h>
 #include <cluster.h>
@@ -50 +50 @@
         core->usage             = 0;
         core->spurious_irqs     = 0;
-        core->rpc_threads       = 0;
-
-        list_root_init( &core->rpc_free_list );
-
-        core->thread_rpc        = NULL;
+    core->rpc_threads       = 0;
         core->thread_idle       = NULL;
         core->fpu_owner         = NULL;
         core->rand_last         = hal_time_stamp() & 0xFFF;
 
+    // initialize scheduler
         sched_init( core );
 }
@@ -167 +164 @@
 }
 
+
+/* deprecated [AG] july 20017
 ///////////////////////////////////////////////////
 void core_set_irq_vector_entry( core_t   * core,
@@ -177 +176 @@
         else                            core->pti_vector[irq_id] = chdev;
 }
+*/