HelenOS sources

IRQ_COUNT          46 kernel/arch/amd64/include/arch/interrupt.h #define IRQ_COUNT  16
IRQ_COUNT          46 kernel/arch/ia32/include/arch/interrupt.h #define IRQ_COUNT  16
IRQ_COUNT          59 kernel/arch/ppc32/src/ppc32.c #define IRQ_COUNT  64