diff --git a/src/acpi/device.c b/src/acpi/device.c
index b119abd61f..07e80f5402 100644
--- a/src/acpi/device.c
+++ b/src/acpi/device.c
@@ -8,6 +8,7 @@
 #include <device/device.h>
 #include <device/path.h>
 #include <stdlib.h>
+#include <types.h>
 #include <crc_byte.h>
 
 #if CONFIG(GENERIC_GPIO_LIB)