i8254_irq_handler 70 kernel/arch/amd64/src/drivers/i8254.c static void i8254_irq_handler(irq_t *irq) i8254_irq_handler 70 kernel/arch/ia32/src/drivers/i8254.c static void i8254_irq_handler(irq_t *irq)