On 3/11/21 3:39 PM, Richard Henderson wrote: > Signed-off-by: Richard Henderson <[email protected]> > --- > tcg/tci.c | 147 ++++++++++++++++++++++++++++++------------------------ > 1 file changed, 81 insertions(+), 66 deletions(-)
Chapeau. Reviewed-by: Philippe Mathieu-Daudé <[email protected]>
