1 // SPDX-License-Identifier: GPL-2.0-only 2 3 #include <linux/vmcore_info.h> 4 #include <linux/pagemap.h> 5 6 static inline u64 get_satp_value(void) 7 { 8 return csr_read(CSR_SATP); 9 } 10 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