1 // SPDX-License-Identifier: GPL-2.0-only
2
3 #include <linux/vmcore_info.h>
4 #include <linux/pagemap.h>
5
get_satp_value(void)6 static inline u64 get_satp_value(void)
7 {
8 return csr_read(CSR_SATP);
9 }
10
arch_crash_save_vmcoreinfo(void)11 void arch_crash_save_vmcoreinfo(void)
12 {
13 VMCOREINFO_NUMBER(phys_ram_base);
14
15 vmcoreinfo_append_str("NUMBER(PAGE_OFFSET)=0x%lx\n", PAGE_OFFSET);
16 vmcoreinfo_append_str("NUMBER(VMALLOC_END)=0x%lx\n", VMALLOC_END);
17 #ifdef CONFIG_MMU
18 VMCOREINFO_NUMBER(VA_BITS);
19 vmcoreinfo_append_str("NUMBER(VMEMMAP_START)=0x%lx\n", VMEMMAP_START);
20 vmcoreinfo_append_str("NUMBER(VMEMMAP_END)=0x%lx\n", VMEMMAP_END);
21 #ifdef CONFIG_64BIT
22 vmcoreinfo_append_str("NUMBER(MODULES_VADDR)=0x%lx\n", MODULES_VADDR);
23 vmcoreinfo_append_str("NUMBER(MODULES_END)=0x%lx\n", MODULES_END);
24 #endif
25 #endif
26 vmcoreinfo_append_str("NUMBER(KERNEL_LINK_ADDR)=0x%lx\n", KERNEL_LINK_ADDR);
27 vmcoreinfo_append_str("NUMBER(va_kernel_pa_offset)=0x%lx\n",
28 kernel_map.va_kernel_pa_offset);
29 vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset());
30 vmcoreinfo_append_str("NUMBER(satp)=0x%llx\n", get_satp_value());
31 }
32