Julien Grail wrote:
> You can dump the registers of a vCPU with xenctx.
> $PREFIX/lib/xen/bin/xenctx domid
> $PREFIX is the path where xen tools have been installed (i.e --prefix on
> the configure). The default path is /usr/local/
Thanks for advice. I discovered that the PC has value 0x0C and SPSR of ABT mode
is same
as CPSR so I think that is prefetch abort. But I don't understand why it
happens? Invalid memory
access? I'm using simple linker script:
...
OUTPUT_ARCH(arm)
ENTRY(_start)
SECTIONS
{
_start = 0x80008000;
. = _start;
.text : {
*(.start);
*(.text);
}
...
Thanks in advance.
Ivan Pavić
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
