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

Timestamp:

Apr 26, 2017, 2:11:56 PM (7 years ago)

Author:

alain

Message:

Introduce the chdev_t structure in place of the device_t structure.

File:

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

trunk/kernel/kern/core.c

@@ -30 +30 @@
 #include <printk.h>
 #include <thread.h>
+#include <chdev.h>
 #include <dev_icu.h>
 #include <rpc.h>
@@ -41 +42 @@
 /////////////////////////////////
 void core_init( core_t    * core, 
-                uint32_t    lid, 
-                uint32_t    gid )
+                lid_t       lid, 
+                gid_t       gid )
 {
         core->lid               = lid;
@@ -64 +65 @@
 
         sched_init( core );
-
-        core->icu               = NULL;          // TODO ??? [AG]
 }
 
@@ -200 +199 @@
 
 ///////////////////////////////////////////////////
-void core_set_irq_vector_entry( xptr_t     core_xp,
+void core_set_irq_vector_entry( core_t   * core,
                                 uint32_t   irq_type,
                                 uint32_t   irq_id,
-                                xptr_t     dev_xp )
-{
-    // get core cluster and local pointer
-    cxy_t    core_cxy = GET_CXY( core_xp );
-    core_t * core_ptr = (core_t *)GET_PTR( core_xp );
-
-    // compute xptr on relevant interrupt vector entry
-    xptr_t   xp;
-    if     ( irq_type == WTI_TYPE ) xp = XPTR( core_cxy , &core_ptr->wti_vector[irq_id] );
-    else if( irq_type == HWI_TYPE ) xp = XPTR( core_cxy , &core_ptr->hwi_vector[irq_id] );
-    else                            xp = XPTR( core_cxy , &core_ptr->pti_vector[irq_id] );
-
-    // set relevant IRQ vector entry
-    hal_remote_swd( xp , dev_xp );
-}
+                                chdev_t  * chdev )
+{
+    if     ( irq_type == WTI_TYPE ) core->wti_vector[irq_id] = chdev;
+    else if( irq_type == HWI_TYPE ) core->hwi_vector[irq_id] = chdev;
+    else                            core->pti_vector[irq_id] = chdev;
+}