Searched refs:intcps_mir (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/kernel/include/drivers/irq/ | ||
H A D | am335x.h | 57 uint32_t intcps_mir; member in struct:INTC_map::__anon12 |
H A D | omap3.h | 45 uint32_t intcps_mir; member in struct:INTC_map::__anon14 |
Completed in 24 milliseconds