On Fri, 14 Feb 2020 at 18:15, Richard Henderson
<[email protected]> wrote:
>
> These registers are 32-bits wide.  Cut and paste used FIELD_EX64
> instead of the more proper FIELD_EX32.  In practice all this did
> was use an unnecessary 64-bit operation, producing correct results.
>
> Signed-off-by: Richard Henderson <[email protected]>

This is a duplicate with:

https://patchew.org/QEMU/[email protected]/[email protected]/

which I got out the door very slightly before your series
hit my mailbox :-)

-- PMM

Reply via email to