Index: kernel/generic/src/mm/backend_user.c
===================================================================
--- kernel/generic/src/mm/backend_user.c	(revision 560b81c47c7bd8b84ad01838e371562b523c1123)
+++ kernel/generic/src/mm/backend_user.c	(revision 8fcd8cff4a6c5183cdaf8997eb6328249983e440)
@@ -125,5 +125,5 @@
 	IPC_SET_ARG5(data, pager_info->id3);
 
-	int rc = ipc_req_internal(pager_info->pager, &data);
+	int rc = ipc_req_internal(pager_info->pager, &data, (sysarg_t) true);
 
 	if (rc != EOK) {
