From 31d11ec990fb1c2174d73c4c1b1560fea1e24b0f Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 18 Aug 2017 13:17:46 +0200
Subject: [PATCH] nova: fix implement Pd_session::map

Fixes #2209
---
 repos/base-nova/src/core/pd_session_support.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-nova/src/core/pd_session_support.cc b/repos/base-nova/src/core/pd_session_support.cc
index 3cc6e12f1d..a543a3f7f4 100644
--- a/repos/base-nova/src/core/pd_session_support.cc
+++ b/repos/base-nova/src/core/pd_session_support.cc
@@ -90,6 +90,6 @@ void Pd_session_component::map(addr_t virt, addr_t size)
 	while (size) {
 		addr_t mapped = _address_space.apply_to_dataspace(virt, lambda);
 		virt         += mapped;
-		size          = size < mapped ? size - mapped : 0;
+		size          = size < mapped ? size : size - mapped;
 	}
 }