Re: [PATCH v3 16/21] target/riscv: adding high part of some csrs

[Richard Henderson]

On 10/19/21 2:48 AM, Frédéric Pétrot wrote:

+    /* Upper 64-bits of 128-bit CSRs */
+    uint64_t mtvech;
+    uint64_t mscratchh;
+    uint64_t mepch;
+    uint64_t satph;
+    uint64_t mstatush;

Needs adding to the same machine.c subsection as the gprs.
Otherwise,

Reviewed-by: Richard Henderson <richard.hender...@linaro.org>

r~