diff --git a/src/arch/arm/system.hh b/src/arch/arm/system.hh
index cffc23586a..e76245ea4a 100644
--- a/src/arch/arm/system.hh
+++ b/src/arch/arm/system.hh
@@ -137,6 +137,9 @@ class ArmSystem : public System
     ArmSemihosting *const semihosting;
 
   public:
+    static constexpr Addr PageBytes = ArmISA::PageBytes;
+    static constexpr Addr PageShift = ArmISA::PageShift;
+
     typedef ArmSystemParams Params;
     const Params *
     params() const