1 /* SPDX-License-Identifier: GPL-2.0-only */
3 /* TODO: Check if this is still correct */
6 #include <amdblocks/acpi.h>
7 #include <device/device.h>
12 uintptr_t agesa_write_acpi_tables(const struct device
*device
, uintptr_t current
,
17 /* add ALIB SSDT from HOB */
18 current
= add_agesa_fsp_acpi_table(AMD_FSP_ACPI_ALIB_HOB_GUID
, "ALIB", rsdp
, current
);
21 current
= ALIGN(current
, 8);
22 ivrs
= (acpi_ivrs_t
*)current
;
23 acpi_create_ivrs(ivrs
, acpi_fill_ivrs
);
24 current
+= ivrs
->header
.length
;
25 acpi_add_table(rsdp
, ivrs
);