Changes in kernel/generic/src/udebug/udebug_ipc.c [b5f716b:9d58539] in mainline

File:

• kernel/generic/src/udebug/udebug_ipc.c (modified) (4 diffs)

kernel/generic/src/udebug/udebug_ipc.c

@@ -343 +343 @@
         sysarg_t uspace_addr;
         sysarg_t to_copy;
-        void *buffer = NULL;
+        void *buffer;
         int rc;
 
@@ -354 +354 @@
                 return;
         }
-
-        ASSERT(buffer != NULL);
 
         /*
@@ -387 +385 @@
         sysarg_t uspace_src;
         unsigned size;
-        void *buffer = NULL;
+        void *buffer;
         int rc;
 
@@ -400 +398 @@
                 return;
         }
-
-        ASSERT(buffer != NULL);
 
         IPC_SET_RETVAL(call->data, 0);