HelenOS sources

IRQ_MOUSE          64 kernel/arch/amd64/include/arch/interrupt.h #define IRQ_MOUSE     12
IRQ_MOUSE          66 kernel/arch/ia32/include/arch/interrupt.h #define IRQ_MOUSE     12
IRQ_MOUSE          73 kernel/arch/ia64/include/arch/interrupt.h #define IRQ_MOUSE  (0x0c + LEGACY_INTERRUPT_BASE)