From mboxrd@z Thu Jan 1 00:00:00 1970 From: Sean Anderson Date: Sun, 4 Oct 2020 21:39:51 -0400 Subject: [PATCH 10/16] tee: optee: Include device_compat.h In-Reply-To: <20201005013958.498888-1-seanga2@gmail.com> References: <20201005013958.498888-1-seanga2@gmail.com> Message-ID: <20201005013958.498888-11-seanga2@gmail.com> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: u-boot@lists.denx.de Necessary for dev_xxx. Signed-off-by: Sean Anderson --- 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 #include +#include #include #include #include -- 2.28.0