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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c578 int irq, irq2, intno;
591 intno = s->pics[1].irq_base + irq2;
594 intno = s->pics[0].irq_base + irq;
599 intno = s->pics[0].irq_base + irq;
602 return intno;
612 int irq, irq2, intno; local
631 intno = s->pics[1].irq_base + irq2;
634 intno = s->pics[0].irq_base + irq;
639 intno = s->pics[0].irq_base + irq;
643 return intno;
[all...]

Completed in 59 milliseconds