[PATCH 10/16] tee: optee: Include device_compat.h

[Sean Anderson]

Necessary for dev_xxx.

Signed-off-by: Sean Anderson <seanga2 at gmail.com>
---

 drivers/tee/optee/core.c | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.28.0