diff options
| author | Felix Held <felix-coreboot@felixheld.de> | 2023-12-05 22:09:14 +0100 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2023-12-07 13:19:47 +0000 |
| commit | 4a9ed707c80543f4dd4a586f2d4131e3d4f468e7 (patch) | |
| tree | a8d2a414c52ff953d879c5fed78775bf0136f203 /src/acpi/acpi_gic.c | |
| parent | 1e6134d223338557ea743826d159bae85a91ed0a (diff) | |
| download | coreboot-4a9ed707c80543f4dd4a586f2d4131e3d4f468e7.tar.gz coreboot-4a9ed707c80543f4dd4a586f2d4131e3d4f468e7.tar.bz2 coreboot-4a9ed707c80543f4dd4a586f2d4131e3d4f468e7.zip | |
acpi: add missing device/device.h include
The device/device.h provides the definition for struct device used in
those files, so include this header file to make sure that it's not only
included indirectly via some other header file.
Signed-off-by: Felix Held <felix-coreboot@felixheld.de>
Change-Id: I6ff7cdbf0f53ada92adb53cf268e5feee9df4629
Reviewed-on: https://review.coreboot.org/c/coreboot/+/79401
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Tim Wawrzynczak <inforichland@gmail.com>
Diffstat (limited to 'src/acpi/acpi_gic.c')
| -rw-r--r-- | src/acpi/acpi_gic.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/acpi/acpi_gic.c b/src/acpi/acpi_gic.c index 13e5a50a7d05..589832793d09 100644 --- a/src/acpi/acpi_gic.c +++ b/src/acpi/acpi_gic.c @@ -1,6 +1,7 @@ /* SPDX-License-Identifier: GPL-2.0-only */ #include <acpi/acpi.h> +#include <device/device.h> static int acpi_create_madt_one_gicc_v3(acpi_madt_gicc_t *gicc, u32 acpi_uid, u32 pi_gsiv, uint32_t vgic_mi, uint64_t mpidr) |