--- sys/net/debugnet.c	2021-08-10 12:05:19.500158000 +0300
+++ sys/net/debugnet.c.fixed	2021-08-10 12:05:12.695906000 +0300
@@ -39,6 +39,7 @@
 #include <sys/endian.h>
 #include <sys/errno.h>
 #include <sys/eventhandler.h>
+#include <sys/kernel.h>
 #include <sys/socket.h>
 #include <sys/sysctl.h>