diff --git a/src/arch/arm/table_walker.hh b/src/arch/arm/table_walker.hh index 9dd2c2b1e7..bf81248f9e 100644 --- a/src/arch/arm/table_walker.hh +++ b/src/arch/arm/table_walker.hh @@ -229,7 +229,7 @@ class TableWalker : public ClockedObject */ bool secure(bool have_security, WalkerState *currState) const { - if (have_security) { + if (have_security && currState->secureLookup) { if (type() == PageTable) return !bits(data, 3); else