HelenOS sources

IRQ_KBD            59 kernel/arch/amd64/include/arch/interrupt.h #define IRQ_KBD       1
IRQ_KBD            61 kernel/arch/ia32/include/arch/interrupt.h #define IRQ_KBD       1
IRQ_KBD            72 kernel/arch/ia64/include/arch/interrupt.h #define IRQ_KBD    (0x01 + LEGACY_INTERRUPT_BASE)
HelenOS homepage, sources at GitHub