Searched refs:sel4platsupport_copy_irq_cap (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | device.h | 56 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq,
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | device.c | 21 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq, cspacepath_t *dest) function
|
H A D | timer.c | 130 int error = sel4platsupport_copy_irq_cap(vka, simple, &timer->to.irqs[i].irq, 230 error = sel4platsupport_copy_irq_cap(vka, simple, &timer_objects->irqs[i].irq,
|
H A D | irq.c | 313 int err = sel4platsupport_copy_irq_cap(irq_cookie->vka, irq_cookie->simple, &irq, &irq_handler_path);
|
Completed in 106 milliseconds