On 03/27/2013 04:10 PM, Alexander Graf wrote: >> It's actually already implemented (helper_regs.h:96). The question is: >> what is the value of MSR[IP] at reset? > > For 740 / 750, it's 1. All other bits are 0.
Is it true for all PPC, because MSR_EP/IP is set for all kind of CPU right now. > >> Also, we might want to call hreg_store_msr() in ppc_cpu_reset() instead >> of just setting the value env->msr, this way we don't need >> hreset_excp_prefix as the MSR[IP] will be used to set the value of >> env->excp_prefix. Something like: > > Sounds good :) > Alright, we can get rid of hreset_excp_prefix then. Thanks, -- Fabien Chouteau
