Lines Matching refs:irqs
41 cleanup_timer_irq(vka, &timer->to.irqs[i]);
60 if (timer->to.irqs[i].irq.type != PS_NONE) {
61 int error = seL4_IRQHandler_Ack(timer->to.irqs[i].handler_path.capPtr);
129 assert(timer->to.irqs[i].irq.type != PS_NONE);
130 int error = sel4platsupport_copy_irq_cap(vka, simple, &timer->to.irqs[i].irq,
131 &timer->to.irqs[i].handler_path);
133 error = setup_irq(vka, &timer->to.irqs[i], BIT(seL4_BadgeBits - i - 1), ntfn);
160 error = ltimer_get_nth_irq(&timer->ltimer, i, &timer->to.irqs[i].irq);
216 /* Allocate timer irqs. */
227 error = ltimer_get_nth_irq(<imer, i, &timer_objects->irqs[i].irq);
228 assert(timer_objects->irqs[i].irq.type != PS_NONE);
230 error = sel4platsupport_copy_irq_cap(vka, simple, &timer_objects->irqs[i].irq,
231 &timer_objects->irqs[i].handler_path);
266 if (to->irqs[i].irq.type == type) {
269 if (to->irqs[i].irq.msi.vector == id) {
270 return to->irqs[i].handler_path.capPtr;
274 if (to->irqs[i].irq.ioapic.pin == id) {
275 return to->irqs[i].handler_path.capPtr;
279 if (to->irqs[i].irq.irq.number == id) {
280 return to->irqs[i].handler_path.capPtr;
284 if (to->irqs[i].irq.trigger.number == id) {
285 return to->irqs[i].handler_path.capPtr;