Richard Henderson <richard.henderson@linaro.org> writes:

> This is no different to EXCP_DEBUG, really, which is also internal to qemu but
> user-visible in the same way.  Just adjust the logging in riscv_cpu_do_interrupt.

I think that's already handled by the early return in
riscv_cpu_do_interrupt after handling the RISCV_EXCP_SEMIHOST case.

-- 
-keith