Changeset 190

Timestamp:

Jul 13, 2017, 8:26:47 AM (7 years ago)

Author:

max@…

Message:

hide soclib

Location:

trunk

Files:

• hal/generic/hal_drivers.h (modified) (1 diff)
• hal/tsar_mips32/core/hal_drivers.c (modified) (1 diff)
• hal/x86_64/core/hal_drivers.c (modified) (1 diff)
• kernel/devices/dev_pic.c (modified) (2 diffs)

trunk/hal/generic/hal_drivers.h

@@ -32 +32 @@
     uint32_t irq_type, lid_t lid);
 
+void hal_drivers_pic_init(chdev_t *dev);
+
 #endif  /* HAL_DRIVERS_H_ */
 

trunk/hal/tsar_mips32/core/hal_drivers.c

@@ -52 +52 @@
 }
 
+/* -------------------------------------------------------------------------- */
+
+void hal_drivers_pic_init(chdev_t *dev)
+{
+        /* update the PIC chdev extension */
+        pic->ext.pic.enable_timer = &soclib_pic_enable_timer;
+        pic->ext.pic.enable_irq   = &soclib_pic_enable_irq;
+        pic->ext.pic.disable_irq  = &soclib_pic_disable_irq;
+        pic->ext.pic.bind_irq     = &soclib_pic_bind_irq;
+        pic->ext.pic.send_ipi     = &soclib_pic_send_ipi;
+        pic->ext.pic.extend_init  = &soclib_pic_extend_init;
+}

trunk/hal/x86_64/core/hal_drivers.c

@@ -52 +52 @@
 }
 
+/* -------------------------------------------------------------------------- */
+
+void hal_drivers_pic_init(chdev_t *dev)
+{
+        /* update the PIC chdev extension */
+/*      TODO
+        pic->ext.pic.enable_timer = &soclib_pic_enable_timer;
+        pic->ext.pic.enable_irq   = &soclib_pic_enable_irq;
+        pic->ext.pic.disable_irq  = &soclib_pic_disable_irq;
+        pic->ext.pic.bind_irq     = &soclib_pic_bind_irq;
+        pic->ext.pic.send_ipi     = &soclib_pic_send_ipi;
+        pic->ext.pic.extend_init  = &soclib_pic_extend_init;
+*/
+}
+

trunk/kernel/devices/dev_pic.c

@@ -26 +26 @@
 #include <chdev.h>
 #include <printk.h>
-#include <soclib_pic.h>
+#include <hal_drivers.h>
 #include <dev_pic.h>
 #include <cluster.h>
@@ -50 +50 @@
     {
         // call the PIC SOCLIB driver
-        soclib_pic_init( pic );
-
-        // update the PIC chdev extension
-        pic->ext.pic.enable_timer = &soclib_pic_enable_timer;
-        pic->ext.pic.enable_irq   = &soclib_pic_enable_irq;
-        pic->ext.pic.disable_irq  = &soclib_pic_disable_irq;
-        pic->ext.pic.bind_irq     = &soclib_pic_bind_irq;
-        pic->ext.pic.send_ipi     = &soclib_pic_send_ipi;
-        pic->ext.pic.extend_init  = &soclib_pic_extend_init;
+        hal_drivers_pic_init( pic );
     }
     else if( impl == IMPL_PIC_I86 )