1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <amdblocks/ioapic.h>
5 #include <device/device.h>
7 unsigned long acpi_fill_madt(unsigned long current
)
9 struct device
*dev
= NULL
;
10 while ((dev
= dev_find_path(dev
, DEVICE_PATH_DOMAIN
)) != NULL
) {
11 struct resource
*res
= probe_resource(dev
, IOMMU_IOAPIC_IDX
);
15 current
+= acpi_create_madt_ioapic_from_hw((acpi_madt_ioapic_t
*)current
,