diff --git a/repos/base-hw/src/include/hw/spec/arm/lpae.h b/repos/base-hw/src/include/hw/spec/arm/lpae.h
index f3956816bc..0e41b0eda4 100644
--- a/repos/base-hw/src/include/hw/spec/arm/lpae.h
+++ b/repos/base-hw/src/include/hw/spec/arm/lpae.h
@@ -385,6 +385,8 @@ class Hw::Level_3_translation_table :
 					using Base = Long_translation_table<SIZE_LOG2_4KB,
 					                                    SIZE_LOG2_2MB>;
 					using Block_descriptor = typename Stage_trait<Base, STAGE>::Type;
+					if (!Descriptor::valid(desc))
+						return;
 					phys = Block_descriptor::Output_address::masked(desc);
 					found = true;
 				}