Index: kernel/generic/src/udebug/udebug_ipc.c
===================================================================
--- kernel/generic/src/udebug/udebug_ipc.c	(revision 9a5abb78a90c59a565baef84ad67223da259a941)
+++ kernel/generic/src/udebug/udebug_ipc.c	(revision b5f716bc90001ca89dfcaf04f82a2b4e1dd2e11e)
@@ -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);