review.coreboot.org / coreboot / b59980b54ebe22cc4dcbc0da63206c7f9ec47c28 / src / soc / intel / common / block / irq / irq.c