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

Timestamp:

Nov 7, 2017, 3:08:12 PM (6 years ago)

Author:

alain

Message:

First implementation of fork/exec.

File:

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

trunk/kernel/devices/dev_pic.h

@@ -80 +80 @@
 /*****************************************************************************************
  * This defines the specific extension for the PIC chdev descriptor.
- * It contains four function pointers on the four PIC command types, 
- * that must be implemented by all drivers. 
+ * It contains the function pointers for all functions that mus be implemented
+ * by all implementation specific drivers. 
  ****************************************************************************************/
 
@@ -90 +90 @@
 typedef void   (enable_ipi_t)   ( );   
 typedef void   (send_ipi_t)     ( cxy_t cxy , lid_t lid ); 
+typedef void   (ack_ipi_t)      ( );   
 typedef void   (extend_init_t)  ( uint32_t * lapic_base ); 
   
@@ -98 +99 @@
     disable_irq_t   * disable_irq;   /*! pointer on the driver "disable_irq" function   */ 
     enable_timer_t  * enable_timer;  /*! pointer on the driver "enable_timer" function  */
-    enable_timer_t  * enable_ipi;    /*! pointer on the driver "enable_ipi" function    */
+    enable_ipi_t    * enable_ipi;    /*! pointer on the driver "enable_ipi" function    */
     send_ipi_t      * send_ipi;      /*! pointer on the driver "send_ipi" function      */
+    ack_ipi_t       * ack_ipi;       /*! pointer on the driver "ack_ipi" function       */
     extend_init_t   * extend_init;   /*! pointer on the driver "init_extend" function   */
 }
@@ -109 +111 @@
  * It describes the hardware wiring of IRQs between external peripherals and the IOPIC,
  * as each entry contains the input IRQ index in IOPIC. 
- * For a multi-channels peripheral, there is one chdev and one IRQ per channel.
+ * For a multi-channels/multi_IRQ peripheral, there is one chdev per IRQ.
  * This structure is replicated in each cluster. It is allocated as a global variable
  * in the kernel_init.c file.
@@ -116 +118 @@
 typedef struct iopic_input_s
 {
-    uint32_t   txt[CONFIG_MAX_TXT_CHANNELS];
     uint32_t   ioc[CONFIG_MAX_IOC_CHANNELS];
+    uint32_t   txt_rx[CONFIG_MAX_TXT_CHANNELS];
+    uint32_t   txt_tx[CONFIG_MAX_TXT_CHANNELS];
     uint32_t   nic_rx[CONFIG_MAX_NIC_CHANNELS];
     uint32_t   nic_tx[CONFIG_MAX_NIC_CHANNELS];
@@ -180 +183 @@
  * This is a static binding, defined during kernel init: IRQ can be enabled/disabled,
  * but the binding cannot be released. It can be used for both internal & external IRQs.
+ * The configuration is actually done by the - implementation specific - driver,
+ * and this function just call the relevant driver.
  * WARNING : the IRQ must be explicitely enabled by the dev_pic_enable_irq() function.
  *****************************************************************************************
@@ -234 +239 @@
                        lid_t  lid );
 
+/*****************************************************************************************
+ * This function acknowledges the IPI identified by the calling core local index,
+ * in the local LAPIC component.
+ ****************************************************************************************/
+void dev_pic_ack_ipi();
+
+/*****************************************************************************************
+ * This debug function displays the content of the iopic_input structure,
+ * that register the input IRQS for the external IOPIC controller.
+ ****************************************************************************************/
+void dev_pic_inputs_display();
 
 #endif  /* _DEV_PIC_H_ */