machine_kexec 113 arch/x86/kernel/machine_kexec_32.c void machine_kexec(struct kimage *image) machine_kexec 184 arch/x86/kernel/machine_kexec_64.c void machine_kexec(struct kimage *image)