Searched defs:irq_handler (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dirq.h29 seL4_CPtr irq_handler; member in struct:allocated_irq
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dltimer.h23 ltimer_handle_irq_fn_t irq_handler; member in struct:__anon75
41 ltimer_handle_irq_fn_t irq_handler = callback_data->irq_handler; local

Completed in 33 milliseconds