Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision 05e69c59b06df4165bbd86304590e9d5f3964437)
+++ kernel/generic/src/ipc/sysipc.c	(revision 7e6c9eb1727ba6de8775beb4d6c6ac964c1ddcdb)
@@ -456,8 +456,15 @@
 
 	if (!(res = request_preprocess(&call, phone))) {
+#ifdef CONFIG_UDEBUG
+		udebug_stoppable_begin();
+#endif
 		rc = ipc_call_sync(phone, &call);
+#ifdef CONFIG_UDEBUG
+		udebug_stoppable_end();
+#endif
 		if (rc != EOK)
 			return rc;
 		process_answer(&call);
+
 	} else {
 		IPC_SET_RETVAL(call.data, res);
@@ -496,5 +503,11 @@
 
 	if (!(res = request_preprocess(&call, phone))) {
+#ifdef CONFIG_UDEBUG
+		udebug_stoppable_begin();
+#endif
 		rc = ipc_call_sync(phone, &call);
+#ifdef CONFIG_UDEBUG
+		udebug_stoppable_end();
+#endif
 		if (rc != EOK)
 			return rc;
@@ -799,7 +812,15 @@
 	call_t *call;
 
-restart:	
+restart:
+
+#ifdef CONFIG_UDEBUG
+	udebug_stoppable_begin();
+#endif	
 	call = ipc_wait_for_call(&TASK->answerbox, usec,
 	    flags | SYNCH_FLAGS_INTERRUPTIBLE);
+
+#ifdef CONFIG_UDEBUG
+	udebug_stoppable_end();
+#endif
 	if (!call)
 		return 0;