diff --git a/src/target/arm.h b/src/target/arm.h
index 79ec99d11..54a25731c 100644
--- a/src/target/arm.h
+++ b/src/target/arm.h
@@ -108,7 +108,8 @@ enum arm_mode {
 
 /* VFPv3 internal register numbers mapping to d0:31 */
 enum {
-	ARM_VFP_V3_D0 = 51,
+	ARM_VFP_V3_D0 = 53,
+	// numbering should not overlap with e.g. armv4_5.c arm_core_regs .gdb_index
 	ARM_VFP_V3_D1,
 	ARM_VFP_V3_D2,
 	ARM_VFP_V3_D3,
diff --git a/src/target/armv4_5.c b/src/target/armv4_5.c
index d1a81614e..e1a46bad3 100644
--- a/src/target/armv4_5.c
+++ b/src/target/armv4_5.c
@@ -355,6 +355,7 @@ static const struct {
 	/* These exist only when the Virtualization Extensions is present */
 	[42] = { .name = "sp_hyp", .cookie = 13, .mode = ARM_MODE_HYP, .gdb_index = 51, },
 	[43] = { .name = "spsr_hyp", .cookie = 16, .mode = ARM_MODE_HYP, .gdb_index = 52, },
+	// .gdb_index numbering continues by ARM_VFP_V3_D0
 };
 
 static const struct {