On 4/25/22 02:10, Xiaojuan Yang wrote:
+    uint64_t CSR_CPUID;

This should not exist; we're using cpu->cpu_index.


r~

Reply via email to