i8254_claim 88 kernel/arch/amd64/src/drivers/i8254.c i8254_irq.claim = i8254_claim; i8254_claim 88 kernel/arch/ia32/src/drivers/i8254.c i8254_irq.claim = i8254_claim;