HelenOS sources

IVT_IRQBASE        50 kernel/arch/amd64/include/arch/interrupt.h #define IVT_FREEBASE  (IVT_IRQBASE + IRQ_COUNT)
IVT_IRQBASE        79 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_CLK                (IVT_IRQBASE + IRQ_CLK)
IVT_IRQBASE        80 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_PIC0_SPUR          (IVT_IRQBASE + IRQ_PIC0_SPUR)
IVT_IRQBASE        81 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_PIC1_SPUR          (IVT_IRQBASE + IRQ_PIC1_SPUR)
IVT_IRQBASE       129 kernel/arch/amd64/src/amd64.c 		    (i8259_t *) I8259_PIC1_BASE, IVT_IRQBASE);
IVT_IRQBASE       157 kernel/arch/amd64/src/interrupt.c 	assert(n >= IVT_IRQBASE);
IVT_IRQBASE       159 kernel/arch/amd64/src/interrupt.c 	unsigned int inum = n - IVT_IRQBASE;
IVT_IRQBASE       190 kernel/arch/amd64/src/interrupt.c 	unsigned int inum = n - IVT_IRQBASE;
IVT_IRQBASE       213 kernel/arch/amd64/src/interrupt.c 			exc_register(IVT_IRQBASE + i, "irq", true,
IVT_IRQBASE       223 kernel/arch/amd64/src/smp/apic.c 			io_apic_change_ioredtbl((uint8_t) pin, DEST_ALL, (uint8_t) (IVT_IRQBASE + i), LOPRI);
IVT_IRQBASE        50 kernel/arch/ia32/include/arch/interrupt.h #define IVT_FREEBASE  (IVT_IRQBASE + IRQ_COUNT)
IVT_IRQBASE        83 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_CLK                (IVT_IRQBASE + IRQ_CLK)
IVT_IRQBASE        84 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_PIC0_SPUR          (IVT_IRQBASE + IRQ_PIC0_SPUR)
IVT_IRQBASE        85 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_PIC1_SPUR          (IVT_IRQBASE + IRQ_PIC1_SPUR)
IVT_IRQBASE       120 kernel/arch/ia32/src/ia32.c 		    (i8259_t *) I8259_PIC1_BASE, IVT_IRQBASE);
IVT_IRQBASE       178 kernel/arch/ia32/src/interrupt.c 	assert(n >= IVT_IRQBASE);
IVT_IRQBASE       180 kernel/arch/ia32/src/interrupt.c 	unsigned int inum = n - IVT_IRQBASE;
IVT_IRQBASE       211 kernel/arch/ia32/src/interrupt.c 	unsigned int inum = n - IVT_IRQBASE;
IVT_IRQBASE       234 kernel/arch/ia32/src/interrupt.c 			exc_register(IVT_IRQBASE + i, "irq", true,
IVT_IRQBASE       223 kernel/arch/ia32/src/smp/apic.c 			io_apic_change_ioredtbl((uint8_t) pin, DEST_ALL, (uint8_t) (IVT_IRQBASE + i), LOPRI);