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 247 milliseconds