diff --git a/repos/base-hw/src/include/hw/spec/arm/page_table.h b/repos/base-hw/src/include/hw/spec/arm/page_table.h
index 1c9a91df9..8f1a39c9d 100644
--- a/repos/base-hw/src/include/hw/spec/arm/page_table.h
+++ b/repos/base-hw/src/include/hw/spec/arm/page_table.h
@@ -422,6 +422,9 @@ class Hw::Page_table
 		                          size_t const size, Page_flags const & flags,
 		                          Allocator & alloc)
 		{
+			if (i > MAX_INDEX)
+				return;
+
 			using Pt  = Page_table_level_2;
 			using Ptd = Page_table_descriptor;