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