AMD binaryPI: Use madt_ioapic_from_hw()
[coreboot.git] / util / mainboard / 
tree84c3b001e46d5fbb5716180a45f56760d16766b4
drwxr-xr-x   ..
-rw-r--r-- 89 description.md
drwxr-xr-x - google