/* SPDX-License-Identifier: GPL-2.0-or-later */

/* TODO: Move to common */

#ifndef AMD_GLINDA_ACPI_H
#define AMD_GLINDA_ACPI_H

#include <acpi/acpi.h>
#include <amdblocks/acpi.h>
#include <device/device.h>
#include <stdint.h>

#define ACPI_SCI_IRQ 9

uintptr_t agesa_write_acpi_tables(const struct device *device, uintptr_t current,
				  acpi_rsdp_t *rsdp);

#endif /* AMD_GLINDA_ACPI_H */
