Searched refs:intcHw_irq_disable (Results 1 – 3 of 3) sorted by relevance
43 intcHw_irq_disable(INTCHW_INTC0, 0xffffffff); in chipcHw_reset()44 intcHw_irq_disable(INTCHW_INTC1, 0xffffffff); in chipcHw_reset()45 intcHw_irq_disable(INTCHW_SINTC, 0xffffffff); in chipcHw_reset()
36 static inline void intcHw_irq_disable(void *basep, uint32_t mask);
235 static inline void intcHw_irq_disable(void *basep, uint32_t mask) in intcHw_irq_disable() function