drivers: regulator: include tee extensions

Adds missing header file for TEE extension macro TEE_ERROR_DEFER_DRIVER_INIT. Fixes: 6558b56 ("drivers: regulator: register to dt_driver") Acked-by: Jens Wiklander <jens.wiklander@linaro.org> Signed-off-by: Etienne Carriere <etienne.carriere@foss.st.com>
OP-TEE · Oct 9, 2023 · 44a7a42 · 44a7a42
1 parent 66d7ea0
commit 44a7a42
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core/drivers/regulator/regulator_dt.c b/core/drivers/regulator/regulator_dt.c
@@ -14,6 +14,7 @@
 #include <stdint.h>
 #include <stdio.h>
 #include <string.h>
+#include <tee_api_defines_extensions.h>
 #include <util.h>
 
 /*