Changeset 201 for trunk/kernel/devices/dev_pic.h

Timestamp:

Jul 13, 2017, 1:48:45 PM (7 years ago)

Author:

max@…

Message:

fix the pointers

File:

• trunk/kernel/devices/dev_pic.h (modified) (1 diff)

trunk/kernel/devices/dev_pic.h

@@ -84 +84 @@
 
 typedef void   (pic_bind_t)    ( lid_t lid , struct chdev_s * src_chdev );   
-typedef void   (pic_enable_t)  ( struct chdev_s * src_chdev );   
-typedef void   (pic_disable_t) ( struct chdev_s * src_chdev );   
+typedef void   (pic_enable_t)  ( lid_t lid , struct chdev_s * src_chdev );   
+typedef void   (pic_disable_t) ( lid_t lid , struct chdev_s * src_chdev );   
 typedef void   (pic_timer_t)   ( uint32_t period );   
 typedef void   (pic_ipi_t)     ( cxy_t cxy , lid_t lid );