Quelle  vmcore_info_64.c   Sprache: 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)
{
 u64 sme_mask = sme_me_mask;

 VMCOREINFO_NUMBER(phys_base);
 VMCOREINFO_SYMBOL(init_top_pgt);
 vmcoreinfo_append_str("NUMBER(pgtable_l5_enabled)=%d\n",
         pgtable_l5_enabled());

#ifdef CONFIG_NUMA
 VMCOREINFO_SYMBOL(node_data);
 VMCOREINFO_LENGTH(node_data, MAX_NUMNODES);
#endif
 vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset());
 VMCOREINFO_NUMBER(KERNEL_IMAGE_SIZE);
 VMCOREINFO_NUMBER(sme_mask);
}