Linux Support: make sure that when we get the stack page for thread info we're doing...

--HG--
extra : convert_revision : c581921dd601fc72fd2d45b961c7440755b0331c

diff --git a/src/arch/alpha/linux/threadinfo.hh b/src/arch/alpha/linux/threadinfo.hh
index caeb69f15e1f171d62a17cdd5d968015ade0312f..b9ffe02ae95c1b35734a7484ea9ab2d58df513b7 100644 (file)
--- a/src/arch/alpha/linux/threadinfo.hh
+++ b/src/arch/alpha/linux/threadinfo.hh
@@ -57,7 +57,7 @@ class ThreadInfo
          * thread_info struct. So we can get the address by masking off
          * the lower 14 bits.
          */
-        current = tc->readIntReg(TheISA::StackPointerReg) & ~0x3fff;
+        current = tc->readIntReg(TheISA::StackPointerReg) & ~ULL(0x3fff);
         return VPtr<thread_info>(tc, current);
     }