On Mon, 15 May 2023 at 15:39, Richard Henderson
wrote:
>
> Signed-off-by: Richard Henderson
> ---
> tcg/riscv/tcg-target.c.inc | 13 -
> 1 file changed, 8 insertions(+), 5 deletions(-)
>
Reviewed-by: Peter Maydell
thanks
-- PMM
Signed-off-by: Richard Henderson
---
tcg/riscv/tcg-target.c.inc | 13 -
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/tcg/riscv/tcg-target.c.inc b/tcg/riscv/tcg-target.c.inc
index 37870c89fc..1fc1a9199b 100644
--- a/tcg/riscv/tcg-target.c.inc
+++ b/tcg/riscv/tcg-target