Lines Matching defs:irq
15 #include <sel4platsupport/irq.h>
21 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq, cspacepath_t *dest)
25 /* allocate a cslot for the irq cap */
28 ZF_LOGE("Failed to allocate cslot for irq");
33 assert(irq->type != PS_NONE);
34 if (irq->type == PS_INTERRUPT) {
35 error = simple_get_IRQ_handler(simple, irq->irq.number, *dest);
37 error = sel4platsupport_arch_copy_irq_cap(&simple->arch_simple, irq, dest);
41 ZF_LOGE("Failed to get cap for irq");