109 | | The actual interrupt routing is defined during the PIC device initialization, using the architecture specific PIC driver. The PIC device is the first device initialized by the kernel_init() function. |
| 109 | |
| 110 | Each external IRQ (IRQ generated by a given external device channel) is identified by a '''irq_id''' index, used as an identifier by the kernel. For a given hardware architecture, this '''irq_id''' index is defined by the ''arch_info'' file describing the architecture, and is registered by the kernel in the '''iopic_input''' structure, that is a global variable replicated in all clusters. |
| 111 | |
| 112 | The actual interrupt routing is defined during the PIC device initialization, by the architecture specific PIC driver. The PIC device is the first device initialized by the kernel_init() function. |