diff --git a/net/devif/devif_callback.c b/net/devif/devif_callback.c
index cbee5a2e6e9..25c47627d4b 100644
--- a/net/devif/devif_callback.c
+++ b/net/devif/devif_callback.c
@@ -43,6 +43,7 @@
 #include <stdint.h>
 #include <string.h>
 #include <debug.h>
+#include <assert.h>
 
 #include <nuttx/net/netconfig.h>
 #include <nuttx/net/net.h>
diff --git a/net/socket/net_close.c b/net/socket/net_close.c
index 17464f1d8d0..6e1a4337f23 100644
--- a/net/socket/net_close.c
+++ b/net/socket/net_close.c
@@ -46,6 +46,7 @@
 #include <stdbool.h>
 #include <errno.h>
 #include <debug.h>
+#include <assert.h>
 
 #include <arch/irq.h>
 #include <nuttx/net/net.h>
diff --git a/net/socket/recvfrom.c b/net/socket/recvfrom.c
index 8ecbf70559d..aae60d45bca 100644
--- a/net/socket/recvfrom.c
+++ b/net/socket/recvfrom.c
@@ -47,6 +47,7 @@
 #include <string.h>
 #include <errno.h>
 #include <debug.h>
+#include <assert.h>
 
 #ifdef CONFIG_NET_PKT
 #  include <netpacket/packet.h>