4 files changed, 5 insertions, 1 deletions
diff --git a/src/include/acpi/acpi_device.h b/src/include/acpi/acpi_device.h
index 6287ba1672..be13bd7ec8 100644
--- a/src/include/acpi/acpi_device.h
+++ b/src/include/acpi/acpi_device.h
@@ -4,8 +4,8 @@
 #define __ACPI_ACPI_DEVICE_H__
 
 #include <device/i2c.h>
-#include <stdint.h>
 #include <spi-generic.h>
+#include <types.h>
 
 enum acpi_dp_type {
 	ACPI_DP_TYPE_UNKNOWN,
diff --git a/src/include/acpi/acpi_ivrs.h b/src/include/acpi/acpi_ivrs.h
index 82748d0f5f..de3bdeab4d 100644
--- a/src/include/acpi/acpi_ivrs.h
+++ b/src/include/acpi/acpi_ivrs.h
@@ -11,6 +11,8 @@
 #ifndef __ACPI_ACPI_IVRS_H__
 #define __ACPI_ACPI_IVRS_H__
 
+#include <stdint.h>
+
 /* I/O Virtualization Reporting Structure (IVRS) */
 #define IVHD_BLOCK_TYPE_LEGACY__FIXED		0x10
 #define IVHD_BLOCK_TYPE_FULL__FIXED		0x11
diff --git a/src/include/acpi/acpigen.h b/src/include/acpi/acpigen.h
index 98a9fe474c..4525b6b922 100644
--- a/src/include/acpi/acpigen.h
+++ b/src/include/acpi/acpigen.h
@@ -3,6 +3,7 @@
 #ifndef __ACPI_ACPIGEN_H__
 #define __ACPI_ACPIGEN_H__
 
+#include <stddef.h>
 #include <stdint.h>
 #include <acpi/acpi.h>
 #include <acpi/acpi_device.h>
diff --git a/src/include/acpi/acpigen_dptf.h b/src/include/acpi/acpigen_dptf.h
index 1790df77e8..b173bb8214 100644
--- a/src/include/acpi/acpigen_dptf.h
+++ b/src/include/acpi/acpigen_dptf.h
@@ -5,6 +5,7 @@
 
 #include <device/device.h>
 #include <stdbool.h>
+#include <stdint.h>
 
 /* A common idiom is to use a default value if none is provided (i.e., == 0) */
 #define DEFAULT_IF_0(thing, default_) ((thing) ? (thing) : (default_))