AMD binaryPI: Use madt_ioapic_from_hw()
[coreboot.git] / util / acpi / 
tree62a9c9b9f3b893b347ba5a174be93b35a13a6bc3
drwxr-xr-x   ..
-rwxr-xr-x 1027 acpidump-all
-rw-r--r-- 58 description.md