blob: 804b27cd0c27a1050884a9049edaf99231c2fc9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
/* SPDX-License-Identifier: GPL-2.0-or-later */
#ifndef AMD_PICASSO_ACPI_H
#define AMD_PICASSO_ACPI_H
#include <acpi/acpi.h>
#include <amdblocks/acpi.h>
#include <device/device.h>
#include <stdint.h>
uintptr_t agesa_write_acpi_tables(const struct device *device, uintptr_t current,
acpi_rsdp_t *rsdp);
#endif /* AMD_PICASSO_ACPI_H */
|