|
@@ -315,7 +315,7 @@ static void __init cacheid_init(void)
|
|
if (arch >= CPU_ARCH_ARMv6) {
|
|
if (arch >= CPU_ARCH_ARMv6) {
|
|
unsigned int cachetype = read_cpuid_cachetype();
|
|
unsigned int cachetype = read_cpuid_cachetype();
|
|
|
|
|
|
- if ((arch == CPU_ARCH_ARMv7M) && !cachetype) {
|
|
|
|
|
|
+ if ((arch == CPU_ARCH_ARMv7M) && !(cachetype & 0xf000f)) {
|
|
cacheid = 0;
|
|
cacheid = 0;
|
|
} else if ((cachetype & (7 << 29)) == 4 << 29) {
|
|
} else if ((cachetype & (7 << 29)) == 4 << 29) {
|
|
/* ARMv7 register format */
|
|
/* ARMv7 register format */
|