Searched refs:_allbutone_vcpu (Results 1 – 1 of 1) sorted by relevance
414 _allbutone_vcpu(uint32_t hcall, vcpuid_t which_vcpu) in _allbutone_vcpu() function445 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