io_apic_change_ioredtbl 613 kernel/arch/amd64/src/smp/apic.c void io_apic_change_ioredtbl(uint8_t pin, uint8_t dest, uint8_t vec, io_apic_change_ioredtbl 613 kernel/arch/ia32/src/smp/apic.c void io_apic_change_ioredtbl(uint8_t pin, uint8_t dest, uint8_t vec,HelenOS homepage, sources at GitHub