diff --git a/drivers/misc/optee.c b/drivers/misc/optee.c
index 5d49136aab6..71497f46118 100644
--- a/drivers/misc/optee.c
+++ b/drivers/misc/optee.c
@@ -36,6 +36,7 @@
 #include <sys/param.h>
 
 #ifdef CONFIG_ARCH_ADDRENV
+#  include <nuttx/addrenv.h>
 #  include <nuttx/pgalloc.h>
 #  include <nuttx/sched.h>
 #  include <nuttx/arch.h>