Changes in kernel/generic/src/syscall/copy.c [63e27ef:9d58539] in mainline

File:

• kernel/generic/src/syscall/copy.c (modified) (3 diffs)

kernel/generic/src/syscall/copy.c

@@ -39 +39 @@
  */
 
-#include <assert.h>
 #include <syscall/copy.h>
 #include <proc/thread.h>
@@ -64 +63 @@
         int rc;
         
-        assert(THREAD);
-        assert(!THREAD->in_copy_from_uspace);
+        ASSERT(THREAD);
+        ASSERT(!THREAD->in_copy_from_uspace);
         
         if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
@@ -115 +114 @@
         int rc;
         
-        assert(THREAD);
-        assert(!THREAD->in_copy_to_uspace);
+        ASSERT(THREAD);
+        ASSERT(!THREAD->in_copy_to_uspace);
         
         if (!KERNEL_ADDRESS_SPACE_SHADOWED) {