diff options
| -rw-r--r-- | src/arch/arm/table_walker.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/arch/arm/table_walker.cc b/src/arch/arm/table_walker.cc index e4c6209d6..99a7592c1 100644 --- a/src/arch/arm/table_walker.cc +++ b/src/arch/arm/table_walker.cc @@ -225,6 +225,7 @@ TableWalker::processWalkWrapper() // if we've still got pending translations schedule more work nextWalk(tc); currState = NULL; + completeDrain(); } Fault |