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

Signed-off-by: Philippe Mathieu-Daudé <[email protected]>
---
 gdbstub/gdbstub.c     | 2 ++
 target/ppc/cpu_init.c | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/gdbstub/gdbstub.c b/gdbstub/gdbstub.c
index b45eb7c7b2b..474f6712f8d 100644
--- a/gdbstub/gdbstub.c
+++ b/gdbstub/gdbstub.c
@@ -593,6 +593,8 @@ void gdb_init_cpu(CPUState *cpu)
         gdb_register_feature(cpu, 0,
                              cc->gdb_read_register, cc->gdb_write_register,
                              feature);
+        assert(!cc->gdb_num_core_regs
+               || cc->gdb_num_core_regs == feature->num_regs);
         cpu->gdb_num_regs = cpu->gdb_num_g_regs = feature->num_regs;
     }
 
diff --git a/target/ppc/cpu_init.c b/target/ppc/cpu_init.c
index c809c1f4d89..27de8d80204 100644
--- 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;
-- 
2.52.0


Reply via email to