Changeset 205 for trunk/kernel/devices/dev_pic.c

Timestamp:

Jul 17, 2017, 11:41:25 AM (7 years ago)

Author:

alain

Message:

Change dev_pic_enable_irq() and dev_pic_disable_irq() prototypes
to handle remote IRQs.

File:

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

trunk/kernel/devices/dev_pic.c

@@ -78 +78 @@
 
     // get pointer on extend_init function
-    pic_init_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.extend_init ) ); 
+    extend_init_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.extend_init ) ); 
 
     // call relevant driver function
@@ -93 +93 @@
 
     // get pointer on bind_irq function
-    pic_bind_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.bind_irq ) );
+    bind_irq_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.bind_irq ) );
 
     // call relevant driver function
@@ -99 +99 @@
 }
 
-///////////////////////////////////////
-void dev_pic_enable_irq( lid_t     lid,
-                         chdev_t * src_chdev )
+/////////////////////////////////////
+void dev_pic_enable_irq( lid_t   lid,
+                         xptr_t  src_chdev_xp )
 {
     // get pointer on PIC chdev
@@ -108 +108 @@
 
     // get pointer on enable_irq function
-    pic_enable_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.enable_irq ) );
+    enable_irq_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.enable_irq ) );
 
     // call relevant driver function
-    f( lid , src_chdev );
+    f( lid , src_chdev_xp );
 }
 
-////////////////////////////////////////
-void dev_pic_disable_irq( lid_t     lid,
-                          chdev_t * src_chdev )
+//////////////////////////////////////
+void dev_pic_disable_irq( lid_t   lid,
+                          xptr_t  src_chdev_xp )
 {
     // get pointer on PIC chdev
@@ -123 +123 @@
 
     // get pointer on disable_irq function
-    pic_disable_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.disable_irq ) );
+    disable_irq_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.disable_irq ) );
 
     // call relevant driver function
-    f( lid , src_chdev );
+    f( lid , src_chdev_xp );
 }
 
@@ -137 +137 @@
 
     // get pointer on enable_timer function
-    pic_timer_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.enable_timer ) );
+    enable_timer_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.enable_timer ) );
 
     // call relevant driver function
@@ -152 +152 @@
 
     // get pointer on send_ipi function
-    pic_ipi_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.send_ipi ) );
+    send_ipi_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.send_ipi ) );
 
     // call relevant driver function