Changes in kernel/generic/src/syscall/copy.c [9d58539:63e27ef] 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>
@@ -63 +64 @@
         int rc;
         
-        ASSERT(THREAD);
-        ASSERT(!THREAD->in_copy_from_uspace);
+        assert(THREAD);
+        assert(!THREAD->in_copy_from_uspace);
         
         if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
@@ -114 +115 @@
         int rc;
         
-        ASSERT(THREAD);
-        ASSERT(!THREAD->in_copy_to_uspace);
+        assert(THREAD);
+        assert(!THREAD->in_copy_to_uspace);
         
         if (!KERNEL_ADDRESS_SPACE_SHADOWED) {