Searched refs:INTCHW_INTC0 (Results 1 – 2 of 2) sorted by relevance
43 intcHw_irq_disable(INTCHW_INTC0, 0xffffffff); in chipcHw_reset()
40 #define INTCHW_INTC0 ((void *)MM_IO_BASE_INTC0) macro