Il 26/08/2014 09:15, Pavel Dovgalyuk ha scritto:
> +static int rtc_pre_load(void *opaque)
> +{
> + RTCState *s = (RTCState *)opaque;
> + s->irq_reinject_on_ack_count = 0;
> + return 0;
> +}
> +You found a real bug here, in that the field has to be cleared at reset time. But reinitializing stuff in pre-load hooks is another quirk of your record/replay patches that does not belong in these patches (and that you have not justified yet, either). Paolo
