Branch data     Line data    Source code

       1                 :            : // SPDX-License-Identifier: GPL-2.0-only
       2                 :            : 
       3                 :            : #include <linux/crash_core.h>
       4                 :            : 
       5                 :            : #include <asm/pgtable.h>
       6                 :            : #include <asm/setup.h>
       7                 :            : 
       8                 :          3 : void arch_crash_save_vmcoreinfo(void)
       9                 :            : {
      10                 :          3 :         u64 sme_mask = sme_me_mask;
      11                 :            : 
      12                 :          3 :         VMCOREINFO_NUMBER(phys_base);
      13                 :          3 :         VMCOREINFO_SYMBOL(init_top_pgt);
      14      [ -  +  - ]:          6 :         vmcoreinfo_append_str("NUMBER(pgtable_l5_enabled)=%d\n",
      15                 :            :                               pgtable_l5_enabled());
      16                 :            : 
      17                 :            : #ifdef CONFIG_NUMA
      18                 :          3 :         VMCOREINFO_SYMBOL(node_data);
      19                 :          3 :         VMCOREINFO_LENGTH(node_data, MAX_NUMNODES);
      20                 :            : #endif
      21                 :          3 :         vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset());
      22                 :          3 :         VMCOREINFO_NUMBER(KERNEL_IMAGE_SIZE);
      23                 :          3 :         VMCOREINFO_NUMBER(sme_mask);
      24                 :          3 : }