CPU_ARCH_ARMv3    251 arch/arm/kernel/setup.c 		cpu_arch = (read_cpuid_id() & (1 << 23)) ? CPU_ARCH_ARMv4T : CPU_ARCH_ARMv3;
CPU_ARCH_ARMv3    255 arch/arm/kernel/setup.c 			cpu_arch += CPU_ARCH_ARMv3;