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/cpufeature.h>
   9 #include <asm/memory.h>
  10 #include <asm/pgtable-hwdef.h>
  11
  12 static inline u64 get_tcr_el1_t1sz(void);
  13
  14 static inline u64 get_tcr_el1_t1sz(void)
  15 {
  16         return (read_sysreg(tcr_el1) & TCR_T1SZ_MASK) >> TCR_T1SZ_OFFSET;
  17 }
  18
  19 void arch_crash_save_vmcoreinfo(void)
  20 {
  21         VMCOREINFO_NUMBER(VA_BITS);
  22         /* Please note VMCOREINFO_NUMBER() uses "%d", not "%x" */
  23         vmcoreinfo_append_str("NUMBER(kimage_voffset)=0x%llx\n",
  24                                                 kimage_voffset);
  25         vmcoreinfo_append_str("NUMBER(PHYS_OFFSET)=0x%llx\n",
  26                                                 PHYS_OFFSET);
  27         vmcoreinfo_append_str("NUMBER(TCR_EL1_T1SZ)=0x%llx\n",
  28                                                 get_tcr_el1_t1sz());
  29         vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset());
  30         vmcoreinfo_append_str("NUMBER(KERNELPACMASK)=0x%llx\n",
  31                                                 system_supports_address_auth() ?
  32                                                 ptrauth_kernel_pac_mask() : 0);
  33 }