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

Sean Anderson
2020-10-05T01:39:51Z

Necessary for dev_xxx.

Signed-off-by: Sean Anderson <seanga2@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