diff --git a/servers/vm/pagefaults.c b/servers/vm/pagefaults.c
index 41da1ac73..208e5f63e 100644
--- a/servers/vm/pagefaults.c
+++ b/servers/vm/pagefaults.c
@@ -218,4 +218,6 @@ int handle_memory(struct vmproc *vmp, vir_bytes mem, vir_bytes len, int wrflag)
 			arch_map2vir(vmp, mem), arch_map2vir(vmp, mem+len),
 			vmp->vm_endpoint);
 	}
+
+	return r;
 }