tee: optee: Include device_compat.h

Necessary for dev_xxx.

Signed-off-by: Sean Anderson <seanga2@gmail.com>
Reviewed-by: Simon Glass <sjg@chromium.org>

diff --git a/drivers/tee/optee/core.c b/drivers/tee/optee/core.c
index 5260dab3ac0e7e253c902da0873e99948c85cf48..66ade37cd4055b8ee39fe570f46067e3a695d546 100644 (file)
--- 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>