thanks Philippe.

On Mon, Mar 23, 2020 at 9:20 PM Philippe Mathieu-Daudé <philmd@redhat.com>
wrote:

> On 3/23/20 7:03 PM, Richard Henderson wrote:
> > On 3/23/20 10:03 AM, Michael Rolnik wrote:
> >> Hi Philippe.
> >>
> >> It's been a while. let me think about it and get back to you. what is
> your
> >> concern ?
>
> We are using this series with Joaquin for a Google Summit of Code
> project, so we are noticing some bugs and fixing them.
> As it has not been merged, we work in a fork.
> Since it was posted on the list, I prefer to ask on the list than
> directly to you.
>
> >
> > It shouldn't be there.  See commit 1f5c00cfdb81.
>
> Ah it has been moved to cpu_common_reset, thanks :)
> I suppose it is because this port is based on some quite old work.
>
> >
> >>      > +    memset(env->r, 0, sizeof(env->r));
> >>      > +
> >>      > +    tlb_flush(cs);
> >>
> >>      Why are you calling tlb_flush() here?
> >
> >
> > r~
> >
>
>

-- 
Best Regards,
Michael Rolnik