Changes between Version 4 and Version 5 of pic_device_api

Timestamp:

Jan 22, 2020, 4:12:07 PM (4 years ago)

Author:

alain

Comment:

--

pic_device_api

@@ -9 +9 @@
 The max number of input IRQs is defined by the CONFIG_IRQ_PIC_MAX parameter. The actual number of connected IRQs is defined in the ''arch_info'' file, and stored 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_irq'' global variable in the kernel initialization phase.
+The "source" device for each input IRQ is also defined in the ''arch_info'' file. This information is  stored in the ''devices_irq'' global variable in the kernel initialization phase.
 
 This external peripheral does not execute I/O operations, but is just acting as a dynamically configurable interrupt router for another I/O operation. Therefore, ALMOS-MK does not use the PIC device waiting queue, but call directly the PIC driver blocking functions to dynamically configure the PIC component.