Searched refs:deletingIRQHandler (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/include/object/
H A Dinterrupt.h24 void deletingIRQHandler(irq_t irq);
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c170 void deletingIRQHandler(irq_t irq) function
H A Dobjecttype.c246 deletingIRQHandler(irq);

Completed in 47 milliseconds