Searched defs:which_vcpu (Results 1 – 2 of 2) sorted by relevance
| /xen/tools/debugger/gdbsx/gx/ |
| A D | xg_dummy.c | 78 xg_step(vcpuid_t which_vcpu, int guest_bitness) in xg_step()
90 xg_regs_read(regstype_t which_regs, vcpuid_t which_vcpu, in xg_regs_read()
97 xg_regs_write(regstype_t which_regs, vcpuid_t which_vcpu, in xg_regs_write()
|
| /xen/tools/debugger/gdbsx/xg/ |
| A D | xg_main.c | 366 _change_TF(vcpuid_t which_vcpu, int guest_bitness, int setit) in _change_TF()
414 _allbutone_vcpu(uint32_t hcall, vcpuid_t which_vcpu) in _allbutone_vcpu()
439 xg_step(vcpuid_t which_vcpu, int guest_bitness) in xg_step()
696 xg_regs_read(regstype_t which_regs, vcpuid_t which_vcpu, in xg_regs_read()
733 xg_regs_write(regstype_t which_regs, vcpuid_t which_vcpu, in xg_regs_write()
|
Completed in 4 milliseconds