Searched defs:invokeIRQHandler_SetIRQHandler (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/seL4/src/object/ | ||
H A D | interrupt.c | 151 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot) function |
Completed in 28 milliseconds