Richard Henderson Mon, 25 Apr 2022 15:37:13 -0700
On 4/25/22 02:10, Xiaojuan Yang wrote:
+ uint64_t CSR_CPUID;
This should not exist; we're using cpu->cpu_index. r~