http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=267

------- Additional Comments From ian....@cl.cam.ac.uk 2005-10-24 13:40
------- I still haven't got quite enough context to see what's going on -- it's helpfull when posting the disassembly if you can post the whole function, as from the excerpt I can't easily tell.

Are you using a debug=y verbose=y build of Xen. I'm surprised you're not getting something out before the vcpu crash message.

It might help to print xen's stack in domain_crash too. Add something like the following to the function:

unsigned long a;

show_stack(&a);