Searched refs:INTCHW_INTC1 (Results 1 – 2 of 2) sorted by relevance
44 intcHw_irq_disable(INTCHW_INTC1, 0xffffffff); in chipcHw_reset()
41 #define INTCHW_INTC1 ((void *)MM_IO_BASE_INTC1) macro