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 well as other clients, would make use of (said xc_vcpu_pause() / xc_vcpu_unpause())? Thanks, Razvan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
