From: Marcelo T. <mto...@re...> - 2008-05-09 19:24:25
|
On Fri, May 09, 2008 at 04:22:08PM -0300, Marcelo Tosatti wrote: > For things like register dumps I don't believe its worthwhile. Much > simpler to stop the vcpu with SIG_IPI, retrieve registers, and run it > again (now that you mention the busy-spin, it is broken right now, if a > vcpu is spinning without exiting to userspace). ... which is what Jan's gdb/monitor patch does. |