IRQ_MOUSE 212 kernel/arch/amd64/src/amd64.c pic_ops->enable_irqs(1 << IRQ_MOUSE); IRQ_MOUSE 199 kernel/arch/ia32/src/ia32.c pic_ops->enable_irqs(1 << IRQ_MOUSE);