From b711de9565d3c8f758956dfa96b648cc321577b6 Mon Sep 17 00:00:00 2001 From: Aurelien Jarno Date: Mon, 21 Dec 2009 13:52:08 +0100 Subject: 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 --- hw/ppc.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'hw/ppc.c') diff --git a/hw/ppc.c b/hw/ppc.c index b4bf2d37a2..c917ae6698 100644 --- a/hw/ppc.c +++ b/hw/ppc.c @@ -463,7 +463,7 @@ void cpu_ppc_store_tbu (CPUState *env, uint32_t value) _cpu_ppc_store_tbu(env, value); } -uint32_t cpu_ppc_load_atbl (CPUState *env) +uint64_t cpu_ppc_load_atbl (CPUState *env) { ppc_tb_t *tb_env = env->tb_env; uint64_t tb; @@ -471,7 +471,7 @@ uint32_t cpu_ppc_load_atbl (CPUState *env) tb = cpu_ppc_get_tb(tb_env, qemu_get_clock(vm_clock), tb_env->atb_offset); LOG_TB("%s: tb %016" PRIx64 "\n", __func__, tb); - return tb & 0xFFFFFFFF; + return tb; } uint32_t cpu_ppc_load_atbu (CPUState *env) -- cgit v1.2.3