1 // SPDX-License-Identifier: GPL-2.0-only
3 #include <linux/crash_core.h>
5 #include <asm/pgtable.h>
8 void arch_crash_save_vmcoreinfo(void)
10 u64 sme_mask
= sme_me_mask
;
12 VMCOREINFO_NUMBER(phys_base
);
13 VMCOREINFO_SYMBOL(init_top_pgt
);
14 vmcoreinfo_append_str("NUMBER(pgtable_l5_enabled)=%d\n",
15 pgtable_l5_enabled());
18 VMCOREINFO_SYMBOL(node_data
);
19 VMCOREINFO_LENGTH(node_data
, MAX_NUMNODES
);
21 vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset());
22 VMCOREINFO_NUMBER(KERNEL_IMAGE_SIZE
);
23 VMCOREINFO_NUMBER(sme_mask
);