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

/* TODO: Check if this is still correct */

#ifndef AMD_SABRINA_ACPI_H
#define AMD_SABRINA_ACPI_H

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

#define ACPI_SCI_IRQ 9

/* RTC Registers */
#define RTC_DATE_ALARM		0x0d
#define RTC_ALT_CENTURY		0x32
#define RTC_CENTURY		0x48

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

#endif /* AMD_SABRINA_ACPI_H */