On Thu, 16 Feb 2023 at 03:10, Richard Henderson <[email protected]> wrote: > > No need to duplicate this check across multiple call sites. > > Signed-off-by: Richard Henderson <[email protected]>
Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
