Alpha: Turn on vtophys in SE mode.

diff --git a/src/arch/alpha/SConscript b/src/arch/alpha/SConscript
index da27a136e9e4cdba26d65ca6e20ad77e6a44d2e6..f4a54921e0988bad46d92194e8a46f17cf780684 100644 (file)
--- a/src/arch/alpha/SConscript
+++ b/src/arch/alpha/SConscript
@@ -42,6 +42,7 @@ if env['TARGET_ISA'] == 'alpha':
     Source('remote_gdb.cc')
     Source('tlb.cc')
     Source('utility.cc')
+    Source('vtophys.cc')
 
     SimObject('AlphaInterrupts.py')
     SimObject('AlphaTLB.py')
@@ -54,7 +55,6 @@ if env['TARGET_ISA'] == 'alpha':
         Source('osfpal.cc')
         Source('stacktrace.cc')
         Source('system.cc')
-        Source('vtophys.cc')
 
         Source('freebsd/system.cc')
         Source('linux/system.cc')