diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index fc1368990e..867e163c99 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -23,6 +23,7 @@
 #include <commonlib/helpers.h>
 #include <cpu/cpu.h>
 #include <cbfs.h>
+#include <types.h>
 #include <version.h>
 #include <commonlib/sort.h>
 
diff --git a/src/acpi/acpigen.c b/src/acpi/acpigen.c
index 5cc6a4edac..4d9395fab7 100644
--- a/src/acpi/acpigen.c
+++ b/src/acpi/acpigen.c
@@ -21,6 +21,7 @@
 #include <device/pci_def.h>
 #include <device/pci_type.h>
 #include <device/soundwire.h>
+#include <types.h>
 
 static char *gencurrent;