Searched defs:intcps_sysstatus (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/seL4/include/drivers/irq/ | ||
| H A D | omap3.h | 31 uint32_t intcps_sysstatus; member in struct:INTC_map |
| H A D | am335x.h | 43 uint32_t intcps_sysstatus; member in struct:INTC_map |
Completed in 36 milliseconds