On 27.03.2013, at 14:50, Fabien Chouteau wrote: > According to the PowePC 750 user's manual, the vector offset for system
PowerPC? > reset (both /HRESET and /SRESET) is 0x00100. > > Signed-off-by: Fabien Chouteau <chout...@adacore.com> > --- > target-ppc/translate_init.c | 8 ++++---- > 1 file changed, 4 insertions(+), 4 deletions(-) > > diff --git a/target-ppc/translate_init.c b/target-ppc/translate_init.c > index 781170f..a5bae1e 100644 > --- a/target-ppc/translate_init.c > +++ b/target-ppc/translate_init.c > @@ -2885,7 +2885,7 @@ static void init_excp_7x0 (CPUPPCState *env) > env->excp_vectors[POWERPC_EXCP_THERM] = 0x00001700; > env->hreset_excp_prefix = 0x00000000UL; > /* Hardware reset vector */ > - env->hreset_vector = 0xFFFFFFFCUL; > + env->hreset_vector = 0xFFF00100UL; As you properly explained above, the reset vector is 0x100 according to the spec. However, hreset_excp_prefix is 0x0. How do we end up getting to 0xfff00100 here? Alex > #endif > } > > @@ -2931,7 +2931,7 @@ static void init_excp_750cx (CPUPPCState *env) > env->excp_vectors[POWERPC_EXCP_THERM] = 0x00001700; > env->hreset_excp_prefix = 0x00000000UL; > /* Hardware reset vector */ > - env->hreset_vector = 0xFFFFFFFCUL; > + env->hreset_vector = 0xFFF00100UL; > #endif > } > > @@ -2959,7 +2959,7 @@ static void init_excp_7x5 (CPUPPCState *env) > env->excp_vectors[POWERPC_EXCP_THERM] = 0x00001700; > env->hreset_excp_prefix = 0x00000000UL; > /* Hardware reset vector */ > - env->hreset_vector = 0xFFFFFFFCUL; > + env->hreset_vector = 0xFFF00100UL; > #endif > } > > @@ -2985,7 +2985,7 @@ static void init_excp_7400 (CPUPPCState *env) > env->excp_vectors[POWERPC_EXCP_THERM] = 0x00001700; > env->hreset_excp_prefix = 0x00000000UL; > /* Hardware reset vector */ > - env->hreset_vector = 0xFFFFFFFCUL; > + env->hreset_vector = 0xFFF00100UL; > #endif > } > > -- > 1.7.9.5 >