target/ppc: Fix CPUClass::gdb_num_core_regs value

Only 70 registers are exposed from GDB XML file (for either
32 / 64-bit variants).

Reviewed-by: Pierrick Bouvier <pierrick.bouvier@linaro.org>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-ID: <20260219191955.83815-8-philmd@linaro.org>

diff --git a/target/ppc/cpu_init.c b/target/ppc/cpu_init.c
index c809c1f4d89ddebc306b1081e63711678c02a234..27de8d80204f787d83641ad4d1d16c70d4c0912a 100644 (file)
--- a/target/ppc/cpu_init.c
+++ b/target/ppc/cpu_init.c
@@ -7553,7 +7553,7 @@ static void ppc_cpu_class_init(ObjectClass *oc, const void *data)
                       PAGE_WRITE == 2 && PAGE_EXEC == 4);
 #endif
 
-    cc->gdb_num_core_regs = 71;
+    cc->gdb_num_core_regs = 70;
 #ifdef USE_APPLE_GDB
     cc->gdb_read_register = ppc_cpu_gdb_read_register_apple;
     cc->gdb_write_register = ppc_cpu_gdb_write_register_apple;