coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
acpi.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 /* TODO: Check if this is still correct */
4 
5 #ifndef AMD_SABRINA_ACPI_H
6 #define AMD_SABRINA_ACPI_H
7 
8 #include <acpi/acpi.h>
9 #include <amdblocks/acpi.h>
10 #include <device/device.h>
11 #include <stdint.h>
12 
13 #define ACPI_SCI_IRQ 9
14 
15 /* RTC Registers */
16 #define RTC_DATE_ALARM 0x0d
17 #define RTC_ALT_CENTURY 0x32
18 #define RTC_CENTURY 0x48
19 
21  acpi_rsdp_t *rsdp);
22 
23 #endif /* AMD_SABRINA_ACPI_H */
uintptr_t agesa_write_acpi_tables(const struct device *device, uintptr_t current, acpi_rsdp_t *rsdp)
Definition: agesa_acpi.c:10
unsigned long uintptr_t
Definition: stdint.h:21
Definition: acpi.h:82
Definition: device.h:107