Fix some minor kernel mose NxWM build issues

include/nuttx/nx/nx.h

@@ -294,7 +294,7 @@ int nx_runinstance(FAR const char *mqname, FAR NX_DRIVERTYPE *dev);
  *
  ****************************************************************************/
 
-#if defined(CONFIG_NX_MULTIUSER) && defined(CONFIG_NX_START)
+#if defined(CONFIG_NX_MULTIUSER) && defined(CONFIG_NX_NXSTART)
 int nx_start(void);
 #endif
 

libc/wqueue/work_usrstart.c

@@ -88,10 +88,6 @@
 
 int work_usrstart(void)
 {
-  int errcode;
-
-  DEBUGASSERT(g_usrwork[USRWORK] == NULL);
-
   /* Start a user-mode worker thread for use by applications. */
 
   svdbg("Starting user-mode worker thread\n");
@@ -102,10 +98,12 @@ int work_usrstart(void)
                                        (main_t)work_usrthread,
                                        (FAR char * const *)NULL);
 
-  errcode = errno;
-  ASSERT(g_usrwork[USRWORK].pid > 0);
+  DEBUGASSERT(g_usrwork[USRWORK].pid > 0);
   if (g_usrwork[USRWORK].pid < 0)
     {
+      int errcode = errno;
+      DEBUGASSERT(errcode > 0);
+
       sdbg("task_create failed: %d\n", errcode);
       return -errcode;
     }

libnx/nxmu/nx_redrawreq.c

@@ -40,6 +40,7 @@
 #include <nuttx/config.h>
 
 #include <errno.h>
+#include <assert.h>
 #include <debug.h>
 
 #include <nuttx/nx/nx.h>
@@ -94,13 +95,7 @@ void nx_redrawreq(NXWINDOW hwnd, FAR const struct nxgl_rect_s *rect)
   struct nxsvrmsg_redrawreq_s outmsg;
   int ret;
 
-#ifdef CONFIG_DEBUG
-  if (!wnd || !rect)
-    {
-      set_errno(EINVAL);
-      return ERROR;
-    }
-#endif
+  DEBUGASSERT(wnd && rect);
 
   /* Inform the server of the changed position */