linux/arch/x86/kernel/vmcore_info_64.c

// SPDX-License-Identifier: GPL-2.0-only

#include <linux/vmcore_info.h>
#include <linux/pgtable.h>

#include <asm/setup.h>

void arch_crash_save_vmcoreinfo(void)
{ … }