Searched defs:intc (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/kernel/include/drivers/irq/ | ||
H A D | omap3.h | 55 } *intc = (volatile void *)INTC_PPTR; variable in typeref:struct:INTC_map |
H A D | am335x.h | 66 } *intc = (volatile void *)INTC_PPTR; variable in typeref:struct:INTC_map |
Completed in 25 milliseconds