diff options
| author | Sean Anderson <seanga2@gmail.com> | 2020-10-04 21:39:51 -0400 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-10-16 09:44:27 -0400 |
| commit | 7399897b6c0ac5346444347ba516528b991e720f (patch) | |
| tree | d2d35adf51b9730dba7df6c89436f642968ed04c /drivers/tee | |
| parent | d13da03f3b365cb48222692768f9c047fce1d569 (diff) | |
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>
Diffstat (limited to 'drivers/tee')
| -rw-r--r-- | drivers/tee/optee/core.c | 1 |
1 files changed, 1 insertions, 0 deletions
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> |