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

/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dirq.h133 ps_irq_register_fn_t irq_register_fn; member in struct:__anon8
139 __PS_IRQ_VALID_ARGS(irq_register_fn);
140 return irq_ops->irq_register_fn(irq_ops->cookie, irq, callback, callback_data);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dirq.c185 irq_ops->irq_register_fn = camkes_irq_register;
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c571 irq_ops->irq_register_fn = sel4platsupport_irq_register;
602 irq_ops->irq_register_fn = sel4platsupport_irq_register_mini;

Completed in 39 milliseconds