Changes between Version 3 and Version 4 of pic_device_api

Timestamp:

Jan 22, 2020, 4:08:46 PM (4 years ago)

Author:

alain

Comment:

--

pic_device_api

@@ -13 +13 @@
 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.
 
-== B) Access Functions ==
+== B) Access functions ==
 
-=== 1) '''void dev_pic_init'''( xptr_t   xp_dev ,  uint32_t irq_nr ) ===
+* '''void dev_pic_init'''( xptr_t   xp_dev ,  uint32_t irq_nr )'''
 
 This function makes two initializations:
@@ -21 +21 @@
 It is executed once in the kernel initialisation phase.
 
-=== 2) '''void dev_pic_bind_irq'''( uint32_t   irq_id ,  cxy_t  cxy ,  uint32_t   wti_id ) ===
+* '''void dev_pic_bind_irq'''( uint32_t   irq_id ,  cxy_t  cxy ,  uint32_t   wti_id )'''
 
 This function link a WTI mailbox to the PIC input IRQ identified by its index, and unmask the selected input IRQ.
@@ -27 +27 @@
 is the WTI mailbox index in cluster.
 
-=== 3) '''void dev_pic_unbind_irq'''( uint32_t  irq_id ) ===
+* '''void dev_pic_unbind_irq'''( uint32_t  irq_id )'''
 
-This function mask a PIC input IRQ identified by its index. The <irq_id> argument is the input IRQ index. 
+This function masks the PIC input IRQ identified by its index. The <irq_id> argument is the input IRQ index.