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 b7ad2d83d..100908127 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;
 
 		/**