i8254_irq_handler 89 kernel/arch/amd64/src/drivers/i8254.c i8254_irq.handler = i8254_irq_handler; i8254_irq_handler 89 kernel/arch/ia32/src/drivers/i8254.c i8254_irq.handler = i8254_irq_handler;