From afab15f1a460ae883ed5d980c9235b0528f38289 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 23 Sep 2020 17:43:12 +0200
Subject: [PATCH] linux: round up dataspace to 4k sizes

Issue #3901
---
 repos/base-linux/src/core/spec/linux/dataspace_component.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/base-linux/src/core/spec/linux/dataspace_component.cc b/repos/base-linux/src/core/spec/linux/dataspace_component.cc
index 941d6f9110..ad5c5c2929 100644
--- a/repos/base-linux/src/core/spec/linux/dataspace_component.cc
+++ b/repos/base-linux/src/core/spec/linux/dataspace_component.cc
@@ -22,6 +22,7 @@
 /* Genode includes */
 #include <linux_dataspace/linux_dataspace.h>
 #include <util/arg_string.h>
+#include <util/misc_math.h>
 #include <root/root.h>
 #include <base/session_label.h>
 
@@ -56,7 +57,7 @@ Genode::size_t Dataspace_component::_file_size()
 	struct stat64 s;
 	if (lx_stat(_fname.buf, &s) < 0) throw Service_denied();
 
-	return s.st_size;
+	return align_addr(s.st_size, 12);
 }