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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c31 #define PIC_NUM_PINS 16 macro
50 static i8259_irq_ack_t irq_ack_fns[PIC_NUM_PINS];
280 for (irq = 0; irq < PIC_NUM_PINS / 2; irq++) {
371 for (irq = 0; irq < PIC_NUM_PINS / 2; irq++)
726 if (irq < 0 || irq >= PIC_NUM_PINS) {

Completed in 80 milliseconds