diff --git a/drivers/tee/optee/core.c b/drivers/tee/optee/core.c
index 5260dab3ac..66ade37cd4 100644
--- a/drivers/tee/optee/core.c
+++ b/drivers/tee/optee/core.c
@@ -5,6 +5,7 @@
 
 #include <common.h>
 #include <dm.h>
+#include <dm/device_compat.h>
 #include <log.h>
 #include <malloc.h>
 #include <tee.h>