diff --git a/repos/base-hw/src/core/include/kernel/pd.h b/repos/base-hw/src/core/include/kernel/pd.h
index c815099dc..816fe4412 100644
--- a/repos/base-hw/src/core/include/kernel/pd.h
+++ b/repos/base-hw/src/core/include/kernel/pd.h
@@ -151,8 +151,7 @@ class Kernel::Mode_transition_control
 	public:
 
 		enum {
-			SIZE_LOG2  = Genode::Translation_table::MIN_PAGE_SIZE_LOG2,
-			SIZE       = 1 << SIZE_LOG2,
+			SIZE       = Cpu::mtc_size,
 			VIRT_BASE  = Cpu::exception_entry,
 			ALIGN_LOG2 = Genode::Translation_table::ALIGNM_LOG2,
 			ALIGN      = 1 << ALIGN_LOG2,