Changeset 206 for trunk/kernel

Timestamp:

Jul 17, 2017, 12:51:07 PM (7 years ago)

Author:

max@…

Message:

re-hide

File:

• trunk/kernel/devices/dev_pic.c (modified) (2 diffs)

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>
@@ -49 +49 @@
     if( impl == IMPL_PIC_SCL )
     {
-        // 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;
+        // call the implementation-specific PIC driver
+        hal_drivers_pic_init(pic);
     }
     else if( impl == IMPL_PIC_I86 )