Changes between Version 13 and Version 14 of icu_device_api

Timestamp:

Nov 6, 2016, 9:49:42 PM (8 years ago)

Author:

alain

Comment:

--

icu_device_api

@@ -67 +67 @@
 This function is called by a core when it receives an IRQ from the ICU device.
 It access the local ICU device descriptor to get the highest priority active IRQ of each type (HWI / WTI / PTI).
- * If it is a WTI or an HWI, the function uses the calling core interrupt-vectors to call the relevant ISR, registered in the source device descriptor.
- * If it is a PTI, the source device descriptor is the ICU device itself, and it call the core_clock() function to execute all operations related to the TICK event.
+If it is a WTI or an HWI, the function uses the calling core interrupt-vectors to call the relevant ISR, registered in the source device descriptor. If it is a PTI, the source device descriptor is the ICU device itself, and it call the core_clock() function to execute all operations related to the TICK event.
 
 === 8) '''uint32_t dev_icu_wti_alloc'''() ===