From acb91c2dfa19dadc4549b2e0fced42b2a8bce34f Mon Sep 17 00:00:00 2001
From: Ali Saidi <saidi@eecs.umich.edu>
Date: Thu, 2 Aug 2007 14:34:58 -0400
Subject: [PATCH] Linux Support: make sure that when we get the stack page for
 thread info we're doing a 64bit not

--HG--
extra : convert_revision : c581921dd601fc72fd2d45b961c7440755b0331c
---
 src/arch/alpha/linux/threadinfo.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/alpha/linux/threadinfo.hh b/src/arch/alpha/linux/threadinfo.hh
index caeb69f15..b9ffe02ae 100644
--- 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);
     }
 
-- 
2.30.2