On Mon, Mar 09, 2015 at 10:31:19PM +0900, Peter Maydell wrote: > On 9 March 2015 at 21:56, Christoffer Dall <christoffer.d...@linaro.org> > wrote: > > this function, however, is not used only when migration, but should > > generally cover the case where you want to synchronize QEMU's state into > > KVM's state, right? So while it may not be harmful in currently > > supported use cases, is there ever a situation where (is_a64(env) && el > > == 0) and env->spsr != banked_spsr[el], and where env->spsr is > > out-of-date? > > If EL == 0 then you can't access any SPSR, so env->spsr is by > definition out of date. > ok, never mind then.
-Christoffer
