diff --git a/src/drivers/i2c/designware/dw_i2c.h b/src/drivers/i2c/designware/dw_i2c.h
index e20a5d1d7e..c010b11d75 100644
--- a/src/drivers/i2c/designware/dw_i2c.h
+++ b/src/drivers/i2c/designware/dw_i2c.h
@@ -5,7 +5,7 @@
 
 #include <device/device.h>
 #include <device/i2c.h>
-#include <stdint.h>
+#include <types.h>
 
 #if CONFIG(DRIVERS_I2C_DESIGNWARE_DEBUG)
 #define DW_I2C_DEBUG BIOS_DEBUG