1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <acpi/acpigen.h>
5 #include <amdblocks/acpi.h>
6 #include <device/device.h>
7 #include <console/uart.h>
10 unsigned long southbridge_write_acpi_tables(const struct device
*device
,
11 unsigned long current
,
12 struct acpi_rsdp
*rsdp
)
14 current
= acpi_write_hpet(device
, current
, rsdp
);
16 if (CONFIG(AMD_SOC_CONSOLE_UART
))
17 current
= acpi_16550_mmio32_write_dbg2_uart(rsdp
, current
,
18 uart_platform_base(get_uart_for_console()), NULL
);