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

[Simon Glass]

On Sun, 4 Oct 2020 at 19:40, Sean Anderson <seanga2 at gmail.com> wrote:
>
> Necessary for dev_xxx.
>
> Signed-off-by: Sean Anderson <seanga2 at gmail.com>
> ---
>
>  drivers/tee/optee/core.c | 1 +
>  1 file changed, 1 insertion(+)

Reviewed-by: Simon Glass <sjg at chromium.org>