diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index f9e9162..db9c316 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -22,6 +22,7 @@
 #include <commonlib/helpers.h>
 #include <console/console.h>
 #include <cpu/cpu.h>
+#include <device/device.h>
 #include <device/mmio.h>
 #include <device/pci.h>
 #include <drivers/uart/pl011.h>
diff --git a/src/acpi/acpi_apic.c b/src/acpi/acpi_apic.c
index f952d0a..d6937fc 100644
--- a/src/acpi/acpi_apic.c
+++ b/src/acpi/acpi_apic.c
@@ -5,6 +5,7 @@
 #include <arch/smp/mpspec.h>
 #include <commonlib/sort.h>
 #include <cpu/cpu.h>
+#include <device/device.h>
 
 static int acpi_create_madt_lapic(acpi_madt_lapic_t *lapic, u8 cpu, u8 apic)
 {
diff --git a/src/acpi/acpi_gic.c b/src/acpi/acpi_gic.c
index 13e5a50..5898327 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)
diff --git a/src/acpi/acpi_hpet.c b/src/acpi/acpi_hpet.c
index 9f91829..fbf8529 100644
--- a/src/acpi/acpi_hpet.c
+++ b/src/acpi/acpi_hpet.c
@@ -3,6 +3,7 @@
 #include <acpi/acpi.h>
 #include <arch/hpet.h>
 #include <console/console.h>
+#include <device/device.h>
 #include <device/mmio.h>
 #include <version.h>
 
diff --git a/src/acpi/acpigen_usb.c b/src/acpi/acpigen_usb.c
index e71e6da..221a215 100644
--- a/src/acpi/acpigen_usb.c
+++ b/src/acpi/acpigen_usb.c
@@ -4,6 +4,7 @@
 #include <acpi/acpi_pld.h>
 #include <acpi/acpigen.h>
 #include <acpi/acpigen_usb.h>
+#include <device/device.h>
 
 static const char *power_role_to_str(enum usb_typec_power_role power_role)
 {