From c288973bf26939689610ae7d2f56a3a921b979f3 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 20 Dec 2013 15:51:56 +0100
Subject: [PATCH] hw & arm: declare every mapping as MP shared

ref #1006
---
 base-hw/src/core/tlb/arm.h | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/base-hw/src/core/tlb/arm.h b/base-hw/src/core/tlb/arm.h
index 0f488438e..f34b92311 100644
--- a/base-hw/src/core/tlb/arm.h
+++ b/base-hw/src/core/tlb/arm.h
@@ -188,10 +188,11 @@ namespace Arm
 				static access_t create(Page_flags const & flags,
 				                       addr_t const pa)
 				{
-					access_t v = access_permission_bits<Small_page>(flags) |
-					             memory_region_attr<Small_page>(flags) |
-					             Ng::bits(!flags.global) |
-					             S::bits(0) | Pa_31_12::masked(pa);
+					access_t v = access_permission_bits<Small_page>(flags);
+					v |= memory_region_attr<Small_page>(flags);
+					v |= Ng::bits(!flags.global);
+					v |= S::bits(1);
+					v |= Pa_31_12::masked(pa);
 					Descriptor::type(v, Descriptor::SMALL_PAGE);
 					return v;
 				}
@@ -524,11 +525,12 @@ namespace Arm
 				static access_t create(Page_flags const & flags,
 				                       addr_t const pa)
 				{
-					access_t v = access_permission_bits<Section>(flags) |
-					             memory_region_attr<Section>(flags) |
-					             Domain::bits(DOMAIN) | S::bits(0) |
-					             Ng::bits(!flags.global) |
-					             Pa_31_20::masked(pa);
+					access_t v = access_permission_bits<Section>(flags);
+					v |= memory_region_attr<Section>(flags);
+					v |= Domain::bits(DOMAIN);
+					v |= S::bits(1);
+					v |= Ng::bits(!flags.global);
+					v |= Pa_31_20::masked(pa);
 					Descriptor::type(v, Descriptor::SECTION);
 					return v;
 				}