I have installed `linux-image-amd64-dbg` and `binutils`.
I can now execute `addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 <addr>`.
I have generated a file "commands.txt" with all the addresses after
"Guest stack trace from rsp=ffffffff82003cb0:" in my log file
"dom0_crash_with_dom0_memory.txt".
I attached the result : "result.txt".
We can see inside this file "xen/mmu_pv.c:1548" and
"drivers/firmware/efi/efi.c:558", so I hope it will be helpful.
Is that ok for you ?
Can I do something more ?
Regards,
Guillaume
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000010
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 3030303333363838
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000003
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8240723c
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000010000e030
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000010086
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003cf0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000000000e02b
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8241c3ef
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000086bb5000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000001
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824355f9
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000af0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000001000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 8000000000000163
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000005be82003d38
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000086bb5af0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000010
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000018
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000000000000c
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 00000000885f2e18
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000000000000c
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8243582e
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffff2001f8
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003de0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8245400f
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824355f9
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824c6fc0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 45963d3ad719b2cb
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 6f65670ed0dabca3
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000005fe00000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000018
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003df8
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffff2000d8
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824c6fc0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000018
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824540e3
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824540e3
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffff200260
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 00000000024ac1e0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003f18
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8241fa00
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 204b444582003f18
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 20534f4942204949
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 30303231533a4449
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 302e4236382e5053
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 3230302e31302e33
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 3032373239302e36
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000393237303731
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000001000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff81000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8240a82a
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff810d12fd
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff00000010
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003f18
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003ed0
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000002633000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffffffffff
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff823ffb54
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824b2760
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 3030303333363838
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000003
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8240723c
native_set_pte à
./debian/build/build_amd64_none_amd64/./arch/x86/include/asm/pgtable_64.h:65
(en ligne par) xen_set_pte_init à
./debian/build/build_amd64_none_amd64/./arch/x86/xen/mmu_pv.c:1548
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000010000e030
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000010086
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003cf0
__end_rodata_hpage_align à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000000000e02b
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8241c3ef
set_pte à
./debian/build/build_amd64_none_amd64/./arch/x86/include/asm/paravirt.h:446
(en ligne par) __early_set_fixmap à
./debian/build/build_amd64_none_amd64/./arch/x86/mm/ioremap.c:749
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000086bb5000
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000001
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824355f9
__early_ioremap à ./debian/build/build_amd64_none_amd64/./mm/early_ioremap.c:157
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000af0
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000001000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 8000000000000163
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000005be82003d38
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000086bb5af0
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000010
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000018
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000000000000c
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 00000000885f2e18
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000000000000000c
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8243582e
early_memremap à ./debian/build/build_amd64_none_amd64/./mm/early_ioremap.c:230
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffff2001f8
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003de0
__end_rodata_hpage_align à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8245400f
efi_config_parse_tables à
./debian/build/build_amd64_none_amd64/./drivers/firmware/efi/efi.c:558
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824355f9
__early_ioremap à ./debian/build/build_amd64_none_amd64/./mm/early_ioremap.c:157
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824c6fc0
real_mode_relocs à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 45963d3ad719b2cb
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 6f65670ed0dabca3
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 000005fe00000000
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000018
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003df8
__end_rodata_hpage_align à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffff2000d8
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824c6fc0
real_mode_relocs à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000018
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824540e3
efi_config_init à
./debian/build/build_amd64_none_amd64/./drivers/firmware/efi/efi.c:593
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824540e3
efi_config_init à
./debian/build/build_amd64_none_amd64/./drivers/firmware/efi/efi.c:593
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffff200260
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 00000000024ac1e0
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003f18
__end_rodata_hpage_align à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8241fa00
efi_init à
./debian/build/build_amd64_none_amd64/./arch/x86/platform/efi/efi.c:524
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 204b444582003f18
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 20534f4942204949
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 30303231533a4449
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 302e4236382e5053
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 3230302e31302e33
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 3032373239302e36
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000393237303731
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000001000000
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff81000000
_text à /build/linux-3RM5ap/linux-4.14.13/arch/x86/kernel/head_64.S:74
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff8240a82a
setup_arch à
./debian/build/build_amd64_none_amd64/./arch/x86/kernel/setup.c:1048
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff810d12fd
printk à ./debian/build/build_amd64_none_amd64/./kernel/printk/printk.c:1834
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff00000010
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003f18
__end_rodata_hpage_align à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff82003ed0
__end_rodata_hpage_align à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000002633000
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffffffffffff
?? ??:0
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff823ffb54
start_kernel à ./debian/build/build_amd64_none_amd64/./init/main.c:541
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 ffffffff824b2760
real_mode_relocs à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
# addr2line -pfi -e vmlinux-4.14.0-0.bpo.3-amd64 0000000000000000
__per_cpu_start à ??:?
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
