From 102444b82b495cd5a8a75068682895d69a69d758 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 2 Sep 2014 12:50:12 +0200
Subject: [PATCH] hw: remove pointless, wasted memory in pd object

(ref #1387)
---
 repos/base-hw/src/core/include/kernel/pd.h                 | 4 ----
 .../src/core/include/spec/arm/short_translation_table.h    | 7 +++----
 2 files changed, 3 insertions(+), 8 deletions(-)

diff --git a/repos/base-hw/src/core/include/kernel/pd.h b/repos/base-hw/src/core/include/kernel/pd.h
index 9bb23f256d..17fa55c843 100644
--- a/repos/base-hw/src/core/include/kernel/pd.h
+++ b/repos/base-hw/src/core/include/kernel/pd.h
@@ -232,10 +232,6 @@ class Kernel::Pd : public Object<Pd, MAX_PDS, Pd_ids, pd_ids, pd_pool>
 		Table       * const _table;
 		Platform_pd * const _platform_pd;
 
-		/* keep ready memory for size-aligned extra costs at construction */
-		enum { EXTRA_RAM_SIZE = 2 * Table::MAX_COSTS_PER_TRANSLATION };
-		char _extra_ram[EXTRA_RAM_SIZE];
-
 	public:
 
 		/**
diff --git a/repos/base-hw/src/core/include/spec/arm/short_translation_table.h b/repos/base-hw/src/core/include/spec/arm/short_translation_table.h
index 001fa8a24c..33b3ed7749 100644
--- a/repos/base-hw/src/core/include/spec/arm/short_translation_table.h
+++ b/repos/base-hw/src/core/include/spec/arm/short_translation_table.h
@@ -279,10 +279,9 @@ class Genode::Translation_table
 	public:
 
 		enum {
-			SIZE_LOG2   = 14,
-			SIZE        = 1 << SIZE_LOG2,
-			ALIGNM_LOG2 = SIZE_LOG2,
-			MAX_COSTS_PER_TRANSLATION = sizeof(Page_table),
+			SIZE_LOG2          = 14,
+			SIZE               = 1 << SIZE_LOG2,
+			ALIGNM_LOG2        = SIZE_LOG2,
 			MAX_PAGE_SIZE_LOG2 = 20,
 			MIN_PAGE_SIZE_LOG2 = 12,
 		};