Searched refs:intcps_irq_priority (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/drivers/irq/ | ||
| A D | omap3.h | 39 uint32_t intcps_irq_priority; member |
| A D | am335x.h | 51 uint32_t intcps_irq_priority; member |
Completed in 2 milliseconds