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 /target-ppc/cpu.h | |
| 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 'target-ppc/cpu.h')
| -rw-r--r-- | target-ppc/cpu.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/target-ppc/cpu.h b/target-ppc/cpu.h index 2dc301d1e3..ac93df115c 100644 --- a/target-ppc/cpu.h +++ b/target-ppc/cpu.h @@ -745,7 +745,7 @@ uint64_t cpu_ppc_load_tbl (CPUPPCState *env); uint32_t cpu_ppc_load_tbu (CPUPPCState *env); void cpu_ppc_store_tbu (CPUPPCState *env, uint32_t value); void cpu_ppc_store_tbl (CPUPPCState *env, uint32_t value); -uint32_t cpu_ppc_load_atbl (CPUPPCState *env); +uint64_t cpu_ppc_load_atbl (CPUPPCState *env); uint32_t cpu_ppc_load_atbu (CPUPPCState *env); void cpu_ppc_store_atbl (CPUPPCState *env, uint32_t value); void cpu_ppc_store_atbu (CPUPPCState *env, uint32_t value); |