HelenOS sources

DEST_ALL          223 kernel/arch/amd64/src/smp/apic.c 			io_apic_change_ioredtbl((uint8_t) pin, DEST_ALL, (uint8_t) (IVT_IRQBASE + i), LOPRI);
DEST_ALL          223 kernel/arch/ia32/src/smp/apic.c 			io_apic_change_ioredtbl((uint8_t) pin, DEST_ALL, (uint8_t) (IVT_IRQBASE + i), LOPRI);