HelenOS sources

io_apic_change_ioredtbl  369 kernel/arch/amd64/include/arch/smp/apic.h extern void io_apic_change_ioredtbl(uint8_t pin, uint8_t dest, uint8_t v, unsigned int);
io_apic_change_ioredtbl  223 kernel/arch/amd64/src/smp/apic.c 			io_apic_change_ioredtbl((uint8_t) pin, DEST_ALL, (uint8_t) (IVT_IRQBASE + i), LOPRI);
io_apic_change_ioredtbl  369 kernel/arch/ia32/include/arch/smp/apic.h extern void io_apic_change_ioredtbl(uint8_t pin, uint8_t dest, uint8_t v, unsigned int);
io_apic_change_ioredtbl  223 kernel/arch/ia32/src/smp/apic.c 			io_apic_change_ioredtbl((uint8_t) pin, DEST_ALL, (uint8_t) (IVT_IRQBASE + i), LOPRI);