Searched defs:intc (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/l4v/tools/autocorres/tools/stats/ | ||
H A D | summary.py | 26 def intc(v): function |
/seL4-l4v-master/seL4/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 35 milliseconds