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
14
uintptr_t
agesa_write_acpi_tables
(
const
struct
device
*
device
,
uintptr_t
current,
15
acpi_rsdp_t
*rsdp);
16
17
#endif
/* AMD_PICASSO_ACPI_H */
acpi.h
device.h
agesa_write_acpi_tables
uintptr_t agesa_write_acpi_tables(const struct device *device, uintptr_t current, acpi_rsdp_t *rsdp)
Definition:
agesa_acpi.c:10
acpi.h
stdint.h
uintptr_t
unsigned long uintptr_t
Definition:
stdint.h:21
acpi_rsdp
Definition:
acpi.h:82
device
Definition:
device.h:107
src
soc
amd
picasso
include
soc
acpi.h
Generated by
1.9.1