| /* 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 */ |