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 #ifndef AMD_PICASSO_ACPI_H
4 #define AMD_PICASSO_ACPI_H
5 
6 #include <acpi/acpi.h>
7 #include <amdblocks/acpi.h>
8 #include <device/device.h>
9 #include <stdint.h>
10 
11 /* RTC Registers */
12 #define RTC_DATE_ALARM 0x0d
13 
15  acpi_rsdp_t *rsdp);
16 
17 #endif /* AMD_PICASSO_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