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

Timestamp:

Apr 26, 2017, 2:08:13 PM (6 years ago)

Author:

alain

Message:

Introduce dev_fbf, dev dma, dev_iob

File:

• trunk/kernel/devices/dev_pic.h (modified) (4 diffs)

trunk/kernel/devices/dev_pic.h

@@ -39 +39 @@
  * in the PIC device extension.  
  * The "source" device for each input IRQ is also defined in the ''arch_info'' file,
- * and are stored in the ''devices_input_irq'' global variable in kernel initialization.
+ * and are stored in the ''chdev_input_irq'' global variable in kernel initialization.
  *
  * This external peripheral does not execute I/O operations, but is just acting as a 
@@ -48 +48 @@
  ****************************************************************************************/
  
+/****  Forward declarations  ****/
+
+struct chdev_s;
+
 /*****************************************************************************************
- * This defines the (implementation independant) extension for the generic ICU device.
+ * This defines the (implementation independant) extension for the PIC device.
  ****************************************************************************************/
 
@@ -72 +76 @@
 /*****************************************************************************************
  * This function makes two initialisations:
- * - It initializes the PIC specific fields of the device descriptor.
+ * - It initializes the PIC specific fields of the chdev descriptor.
  * - it initializes the implementation specific PIC hardware device.
  * It must be executed once in the kernel initialisation phase.
@@ -79 +83 @@
  * @ uint32_t   : actual number of input IRQs.
  ****************************************************************************************/
-void dev_pic_init( xptr_t   xp_dev,
-                   uint32_t irq_nr );
+void dev_pic_init( struct chdev_s * chdev,
+                   uint32_t         irq_nr );
 
 /*****************************************************************************************