> (XEN) size=2 sign=0 write=0 reg=0To help you, you can use "addr2line -e vmlinux address" to find the
> (XEN) eat=0 cm=0 s1ptw=0 dfsc=7
> (XEN) dom0 IPA 0x000000004ae06704
> (XEN) P2M @ 02fdbf80 mfn:0xfedfc
> (XEN) 1ST[0x1] = 0x00000000fedfe6ff
> (XEN) 2ND[0x57] = 0x00000000ac9796ff
> (XEN) 3RD[0x6] = 0x0000000000000000
> (XEN) ----[ Xen-4.4-unstable arm32 debug=y Not tainted ]----
> (XEN) CPU: 0
> (XEN) PC: c0033410
faulty line in linux. Where address is your pc.