machine_arch_type  183 arch/arm/kernel/machine_kexec.c 	kexec_mach_type = machine_arch_type;
machine_arch_type 1245 arch/arm/mach-pxa/em-x270.c 		panic("Unsupported machine: %d\n", machine_arch_type);