Changeset 14 for trunk/kernel/devices/dev_icu.h

Timestamp:

May 3, 2017, 1:23:24 PM (7 years ago)

Author:

alain

Message:

Bugs fix.

File:

• trunk/kernel/devices/dev_icu.h (modified) (2 diffs)

trunk/kernel/devices/dev_icu.h

@@ -25 +25 @@
 #define _DEV_ICU_H_
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <spinlock.h>
@@ -179 +179 @@
                           uint32_t   irq_type,
                           uint32_t   irq_id );
-                        
+
+/*****************************************************************************************
+ * This function returns the set of enabled IRQs for a given core.
+ *****************************************************************************************
+ * @ lid       : local index of selected core in remote cluster.
+ * @ hwi_mask  : each non zero bit define an enabled HWI IRQ. 
+ * @ wti_mask  : each non zero bit define an enabled WTI IRQ. 
+ * @ pti_mask  : each non zero bit define an enabled PTI IRQ. 
+ ****************************************************************************************/
+void dev_icu_get_masks( lid_t      lid,
+                        uint32_t * hwi_mask,
+                        uint32_t * WTi_mask,
+                        uint32_t * pti_mask );
+
 /*****************************************************************************************
  * This function set the period value for a timer identified by the PTI index,