|
@@ -246,12 +246,9 @@ static int __get_cpu_architecture(void)
|
|
|
if (cpu_arch)
|
|
|
cpu_arch += CPU_ARCH_ARMv3;
|
|
|
} else if ((read_cpuid_id() & 0x000f0000) == 0x000f0000) {
|
|
|
- unsigned int mmfr0;
|
|
|
-
|
|
|
/* Revised CPUID format. Read the Memory Model Feature
|
|
|
* Register 0 and check for VMSAv7 or PMSAv7 */
|
|
|
- asm("mrc p15, 0, %0, c0, c1, 4"
|
|
|
- : "=r" (mmfr0));
|
|
|
+ unsigned int mmfr0 = read_cpuid_ext(CPUID_EXT_MMFR0);
|
|
|
if ((mmfr0 & 0x0000000f) >= 0x00000003 ||
|
|
|
(mmfr0 & 0x000000f0) >= 0x00000030)
|
|
|
cpu_arch = CPU_ARCH_ARMv7;
|