Index: kernel/generic/src/udebug/udebug_ipc.c
===================================================================
--- kernel/generic/src/udebug/udebug_ipc.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/generic/src/udebug/udebug_ipc.c	(revision 86aad6f88a57ff0062dad7790d5165713ad36cbc)
@@ -266,5 +266,5 @@
 	size_t data_size;
 	size_t buf_size;
-	void *data;
+	as_area_info_t *data;
 
 	uspace_addr = IPC_GET_ARG2(call->data);	/* Destination address */
@@ -274,5 +274,10 @@
 	 * Read area list.
 	 */
-	as_get_area_info(AS, (as_area_info_t **) &data, &data_size);
+	data = as_get_area_info(AS, &data_size);
+	if (!data) {
+		IPC_SET_RETVAL(call->data, ENOMEM);
+		ipc_answer(&TASK->kb.box, call);
+		return;
+	}
 
 	/* Copy MAX(buf_size, data_size) bytes */
@@ -297,5 +302,5 @@
 
 	IPC_SET_ARG3(call->data, data_size);
-	call->buffer = data;
+	call->buffer = (uint8_t *) data;
 
 	ipc_answer(&TASK->kb.box, call);