-static void cpu_reset_model_id(CPUARMState *env, uint32_t id)
-{
- switch (id) {
- case ARM_CPUID_ARM926:
- break;
- case ARM_CPUID_ARM946:
- break;
- case ARM_CPUID_ARM1026:
- break;
- case ARM_CPUID_ARM1136:
- /* This is the 1136 r1, which is a v6K core */
- case ARM_CPUID_ARM1136_R2:
- break;
- case ARM_CPUID_ARM1176:
- break;
- case ARM_CPUID_ARM11MPCORE:
- break;
- case ARM_CPUID_CORTEXA8:
- break;
- case ARM_CPUID_CORTEXA9:
- break;
- case ARM_CPUID_CORTEXA15:
- break;
- case ARM_CPUID_CORTEXM3:
- break;
- case ARM_CPUID_ANY: /* For userspace emulation. */
- break;
- case ARM_CPUID_TI915T:
- case ARM_CPUID_TI925T:
- break;
- case ARM_CPUID_PXA250:
- case ARM_CPUID_PXA255:
- case ARM_CPUID_PXA260:
- case ARM_CPUID_PXA261:
- case ARM_CPUID_PXA262:
- break;
- case ARM_CPUID_PXA270_A0:
- case ARM_CPUID_PXA270_A1:
- case ARM_CPUID_PXA270_B0:
- case ARM_CPUID_PXA270_B1:
- case ARM_CPUID_PXA270_C0:
- case ARM_CPUID_PXA270_C5:
- break;
- case ARM_CPUID_SA1100:
- case ARM_CPUID_SA1110:
- break;
- default:
- cpu_abort(env, "Bad CPU ID: %x\n", id);
- break;
- }
-
-}
-