diff options
| author | Aurelien Jarno <aurelien@aurel32.net> | 2009-12-21 13:52:08 +0100 |
|---|---|---|
| committer | Aurelien Jarno <aurelien@aurel32.net> | 2009-12-21 13:52:08 +0100 |
| commit | b711de9565d3c8f758956dfa96b648cc321577b6 (patch) | |
| tree | 75cfacb2e5563a009e6cc7e6618f476dd45c0845 /linux-user/main.c | |
| parent | e3ea652962383a2ffc05b2f1b10a0e97542eb6f8 (diff) | |
PPC64: Fix alternate timebase
Fix the alternate time base the same way as the default timebase. SPR_ATBL
should return a 64-bit value on 64 bit implementations.
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
Diffstat (limited to 'linux-user/main.c')
| -rw-r--r-- | linux-user/main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/linux-user/main.c b/linux-user/main.c index 5aa9daceb6..445bfc76b6 100644 --- a/linux-user/main.c +++ b/linux-user/main.c @@ -1078,9 +1078,9 @@ uint32_t cpu_ppc_load_tbu (CPUState *env) return cpu_ppc_get_tb(env) >> 32; } -uint32_t cpu_ppc_load_atbl (CPUState *env) +uint64_t cpu_ppc_load_atbl (CPUState *env) { - return cpu_ppc_get_tb(env) & 0xFFFFFFFF; + return cpu_ppc_get_tb(env); } uint32_t cpu_ppc_load_atbu (CPUState *env) |