Re: [Xen-devel] Debug guest state (VMI)

2018-05-29 Thread George Dunlap
On Mon, May 28, 2018 at 4:24 PM, Mathieu Tarral wrote: > Hi ! > > I'm playing with the VMI APIs using LibVMI, and i need to track down > a bug that i reported here: > https://github.com/libvmi/libvmi/issues/621 > > Basically the domain is still paused even thought i called the right API > to resum

[Xen-devel] Debug guest state (VMI)

2018-05-28 Thread Mathieu Tarral
Hi ! I'm playing with the VMI APIs using LibVMI, and i need to track down a bug that i reported here: https://github.com/libvmi/libvmi/issues/621 Basically the domain is still paused even thought i called the right API to resume it and the event buffer is supposed to be empty. Now there are 2 po