Searched refs:intcHw_irq_enable (Results 1 – 2 of 2) sorted by relevance
37 static inline void intcHw_irq_enable(void *basep, uint32_t mask);
241 static inline void intcHw_irq_enable(void *basep, uint32_t mask) in intcHw_irq_enable() function