Index: kernel/generic/src/udebug/udebug_ipc.c
===================================================================
--- kernel/generic/src/udebug/udebug_ipc.c	(revision feeac0d8cd6e0ce736779bc5f1dc701c5cf42ba6)
+++ kernel/generic/src/udebug/udebug_ipc.c	(revision 566da7f8b9ae23f19ca44e238d25be2b62d26752)
@@ -343,5 +343,5 @@
 	sysarg_t uspace_addr;
 	sysarg_t to_copy;
-	void *buffer;
+	void *buffer = NULL;
 	int rc;
 
@@ -354,4 +354,6 @@
 		return;
 	}
+
+	ASSERT(buffer != NULL);
 
 	/*
@@ -385,5 +387,5 @@
 	sysarg_t uspace_src;
 	unsigned size;
-	void *buffer;
+	void *buffer = NULL;
 	int rc;
 
@@ -398,4 +400,6 @@
 		return;
 	}
+
+	ASSERT(buffer != NULL);
 
 	IPC_SET_RETVAL(call->data, 0);