coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
irq_tables.c
Go to the documentation of this file.