Re: [Xen-devel] Pausing / unpausing a single domain VCPU via libxc

2017-01-26 Thread Razvan Cojocaru
On 01/26/2017 06:00 PM, Dario Faggioli wrote: > On Thu, 2017-01-26 at 17:42 +0200, Razvan Cojocaru wrote: >> On 01/26/2017 05:14 PM, Dario Faggioli wrote: >>> You mean you'd want to implement xc_vcpu_pause() by means of >>> the XEN_DOMCTL_gdbsx_pausevcpu? >>> >>> What's the use case for that, and d

Re: [Xen-devel] Pausing / unpausing a single domain VCPU via libxc

2017-01-26 Thread Dario Faggioli
On Thu, 2017-01-26 at 17:42 +0200, Razvan Cojocaru wrote: > On 01/26/2017 05:14 PM, Dario Faggioli wrote: > > You mean you'd want to implement xc_vcpu_pause() by means of > > the XEN_DOMCTL_gdbsx_pausevcpu? > > > > What's the use case for that, and does it fit with the > > implementation > > of sa

Re: [Xen-devel] Pausing / unpausing a single domain VCPU via libxc

2017-01-26 Thread Jan Beulich
>>> On 26.01.17 at 13:08, wrote: > I see that there's currently no xc_vcpu_pause() (there's only > xc_domain_pause(), which freezes all the VCPUs), but there's > XEN_DOMCTL_gdbsx_pausevcpu, which is only used by > tools/debugger/gdbsx/xg/xg_main.c. > > Wouldn't it make sense to have a "regular" D

Re: [Xen-devel] Pausing / unpausing a single domain VCPU via libxc

2017-01-26 Thread Razvan Cojocaru
On 01/26/2017 05:14 PM, Dario Faggioli wrote: > [Adding tools people, and Andrew's which, according to git history, > has touched the involved (Xen) code for last :-) ] > > On Thu, 2017-01-26 at 14:08 +0200, Razvan Cojocaru wrote: >> Hello, >> >> I see that there's currently no xc_vcpu_pause() (t

Re: [Xen-devel] Pausing / unpausing a single domain VCPU via libxc

2017-01-26 Thread Dario Faggioli
[Adding tools people, and Andrew's which, according to git history,  has touched the involved (Xen) code for last :-) ] On Thu, 2017-01-26 at 14:08 +0200, Razvan Cojocaru wrote: > Hello, > > I see that there's currently no xc_vcpu_pause() (there's only > xc_domain_pause(), which freezes all the V

[Xen-devel] Pausing / unpausing a single domain VCPU via libxc

2017-01-26 Thread Razvan Cojocaru
Hello, I see that there's currently no xc_vcpu_pause() (there's only xc_domain_pause(), which freezes all the VCPUs), but there's XEN_DOMCTL_gdbsx_pausevcpu, which is only used by tools/debugger/gdbsx/xg/xg_main.c. Wouldn't it make sense to have a "regular" DOMCTL in libxc that the debugger, as w