arch/arm64/kernel/crash_core.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * Copyright (C) Linaro.
   4  * Copyright (C) Huawei Futurewei Technologies.
   5  */
   6
   7 #include <linux/crash_core.h>
   8 #include <asm/memory.h>
   9
  10 void arch_crash_save_vmcoreinfo(void)
  11 {
  12         VMCOREINFO_NUMBER(VA_BITS);
  13         /* Please note VMCOREINFO_NUMBER() uses "%d", not "%x" */
  14         vmcoreinfo_append_str("NUMBER(kimage_voffset)=0x%llx\n",
  15                                                 kimage_voffset);
  16         vmcoreinfo_append_str("NUMBER(PHYS_OFFSET)=0x%llx\n",
  17                                                 PHYS_OFFSET);
  18         vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset());
  19 }