wip

Signed-off-by: Pierrick Bouvier <[email protected]>

accel/tcg/plugin-gen.c

@@ -105,6 +105,9 @@ static TCGv_i32 gen_cpu_index(void)
     /*
      * Optimize when we run with a single vcpu. All values using cpu_index,
      * including scoreboard index, will be optimized out.
+     * In user-mode, a tb flush is guaranteed when creating a second thread (to
+     * honor the CF_PARALLEL flag). In system mode, we create all vcpus before
+     * generating any code, so we directly generate the correct code.
      */
     if (qemu_plugin_num_vcpus() == 1) {
         return tcg_constant_i32(0);