From 32521cfd710886afc48f77261f2adc425777fcad Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Thu, 12 Mar 2015 10:04:33 +0100
Subject: [PATCH] hw: Declare mtc_size constant in arm/cpu_support.h

This constant specifies the size of the mode transition control region.
---
 repos/base-hw/src/core/include/spec/arm/cpu_support.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base-hw/src/core/include/spec/arm/cpu_support.h b/repos/base-hw/src/core/include/spec/arm/cpu_support.h
index b7ad2d83db..1009081270 100644
--- a/repos/base-hw/src/core/include/spec/arm/cpu_support.h
+++ b/repos/base-hw/src/core/include/spec/arm/cpu_support.h
@@ -36,6 +36,7 @@ class Genode::Arm
 	public:
 
 		static constexpr addr_t exception_entry   = 0xffff0000;
+		static constexpr addr_t mtc_size          = 1 << MIN_PAGE_SIZE_LOG2;
 		static constexpr addr_t data_access_align = 4;
 
 		/**