i8254_claim 65 kernel/arch/amd64/src/drivers/i8254.c static irq_ownership_t i8254_claim(irq_t *irq) i8254_claim 65 kernel/arch/ia32/src/drivers/i8254.c static irq_ownership_t i8254_claim(irq_t *irq)