Searched refs:irq2 (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c221 int irq2, irq; local
223 irq2 = pic_get_irq(&s->pics[1]);
224 if (irq2 >= 0) {
578 int irq, irq2, intno;
585 irq2 = pic_get_irq(&s->pics[1]);
586 if (irq2 >= 0) {
589 irq2 = 7;
591 intno = s->pics[1].irq_base + irq2;
592 irq = irq2 + 8;
612 int irq, irq2, intn local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c226 ps_irq_t irq2 = { .type = PS_INTERRUPT, .irq.number = rkp->irq.irq.number + 1 }; local
227 irq_id_t irq2_id = ps_irq_register(&ops.irq_ops, irq2, rk_handle_irq, rk);

Completed in 102 milliseconds