kexec_mach_type    29 arch/arm/kernel/machine_kexec.c extern unsigned long kexec_mach_type;
kexec_mach_type   183 arch/arm/kernel/machine_kexec.c 	kexec_mach_type = machine_arch_type;