2 files changed, 11 insertions, 0 deletions
diff --git a/target-arm/cpu.h b/target-arm/cpu.h
index b3b37ebbe5..891616ecbe 100644
--- a/target-arm/cpu.h
+++ b/target-arm/cpu.h
@@ -209,6 +209,7 @@ static inline int arm_feature(CPUARMState *env, int feature)
     return (env->features & (1u << feature)) != 0;
 }
 
+void arm_cpu_list(void);
 void cpu_arm_set_model(CPUARMState *env, const char *name);
 
 #define ARM_CPUID_ARM1026 0x4106a262
diff --git a/target-arm/helper.c b/target-arm/helper.c
index 093acc9af4..36f5fe073f 100644
--- a/target-arm/helper.c
+++ b/target-arm/helper.c
@@ -47,6 +47,16 @@ static const struct arm_cpu_t arm_cpu_names[] = {
     { 0, NULL}
 };
 
+void arm_cpu_list(void)
+{
+    int i;
+
+    printf ("Available CPUs:\n");
+    for (i = 0; arm_cpu_names[i].name; i++) {
+        printf("  %s\n", arm_cpu_names[i].name);
+    }
+}
+
 void cpu_arm_set_model(CPUARMState *env, const char *name)
 {
     int i;