kexec_mark_range  637 arch/x86/kernel/machine_kexec_64.c 	kexec_mark_range(crashk_low_res.start, crashk_low_res.end, protect);
kexec_mark_range  642 arch/x86/kernel/machine_kexec_64.c 	kexec_mark_range(crashk_res.start, control + PAGE_SIZE - 1, protect);
kexec_mark_range  644 arch/x86/kernel/machine_kexec_64.c 	kexec_mark_range(control, crashk_res.end, protect);