Home
last modified time | relevance | path

Searched refs:_allbutone_vcpu (Results 1 – 1 of 1) sorted by relevance

/xen/tools/debugger/gdbsx/xg/
A Dxg_main.c414 _allbutone_vcpu(uint32_t hcall, vcpuid_t which_vcpu) in _allbutone_vcpu() function
445 if (_allbutone_vcpu(XEN_DOMCTL_gdbsx_pausevcpu, which_vcpu)) in xg_step()
460 _allbutone_vcpu(XEN_DOMCTL_gdbsx_unpausevcpu, which_vcpu); in xg_step()

Completed in 3 milliseconds