Changes between Version 10 and Version 11 of kernel_interrupts

Timestamp:

Mar 12, 2015, 5:57:16 PM (10 years ago)

Author:

alain

Comment:

--

kernel_interrupts

@@ -60 +60 @@
  === void '''_ext_irq_alloc( unsigned int isr_type , unsigned int isr_channel , unsigned int* wti_index ) ===
 This function is used when the architecture contains an external IOPIC component. It dynamically allocates an external IRQ signaling completion of an I/O operation to the processor P[x,y,p] running the calling task. The two (isr_type, isr_channel) arguments define actually the external IRQ to be routed.
- * '''isr_type''' : type of ISR to be executed
+ * '''isr_type''' : type of ISR 
  * '''isr_channel''' : ISR channel (for multi-channels peripherals)
  * '''wti_index''' : return value defining the index of the WTI mailbox allocated to P[x,y,p]
@@ -68 +68 @@
  3. it initializes the proper entry in the WTI interrupt vector associated to processor P[x,y,p].
 
- === void '''_ext_irq_release( unsigned int isr_type , unsigned int isr_channel , unsigned int* wti_index ) ===
+ === void '''_ext_irq_release( unsigned int isr_type , unsigned int isr_channel , unsigned int wti_index ) ===
 This function is used when the architecture contains an external IOPIC component. It desallocates the ressources allocated by the  previous _ext_irq_alloc() function to the calling processor. The two (isr_type, isr_channel) arguments define actually the external IRQ to be released.
- * '''isr_type''' : type of ISR to be executed
+ * '''isr_type''' : type of ISR 
  * '''isr_channel''' : ISR channel (for multi-channels peripherals)
- * '''wti_index''' :  index of the WTI mailbox allocated to P[x,y,p]
+ * '''wti_index''' :  index of the WTI mailbox allocated to P[x,y,p] to be released.
 This function does only two things: 
  1.  it desactivates the PIC entry associated to the (isr_type/isr_channel) IRQ.