Searched refs:vcpuid_t (Results 1 – 6 of 6) sorted by relevance
| /xen/tools/debugger/gdbsx/xg/ |
| A D | xg_public.h | 31 typedef uint32_t vcpuid_t; typedef
93 int xg_step(vcpuid_t, int);
94 vcpuid_t xg_resume_n_wait(int);
95 int xg_regs_read(regstype_t, vcpuid_t, union xg_gdb_regs *, int);
96 int xg_regs_write(regstype_t, vcpuid_t, union xg_gdb_regs *, int);
|
| 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()
471 static vcpuid_t
492 vcpuid_t
495 vcpuid_t vcpu; in xg_resume_n_wait()
676 _get_vcpu_ctxt(vcpuid_t vcpu_id, union vcpu_guest_context_any *anycp) in _get_vcpu_ctxt()
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()
|
| /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()
116 xg_wait_domain(vcpuid_t *vcpu_p, int guest_bitness) in xg_wait_domain()
|
| A D | gx_main.c | 42 vcpuid_t max_vcpuid; /* so max_vcpuid+1 vcpus overall */
50 static vcpuid_t current_vcpu;
136 vcpuid_t vid = 0; in process_q_request()
174 vcpuid_t vcpu; in process_H_request()
373 prepare_stop_reply(enum target_signal sig, char *buf, vcpuid_t vcpu) in prepare_stop_reply()
398 process_reas_request(char *remote_buf, vcpuid_t vcpu) in process_reas_request()
591 check_usage_n_stuff(int argc, char **argv, domid_t *domid_p, vcpuid_t *vp) in check_usage_n_stuff()
643 vcpuid_t vcpuid; in main()
|
| A D | gx_local.c | 29 extern vcpuid_t max_vcpuid;
112 prnt_vcpu_context(vcpuid_t vcpuid) in prnt_vcpu_context()
135 gx_local_cmd(domid_t domid, vcpuid_t vcpuid) in gx_local_cmd()
|
| A D | gx.h | 37 int gx_local_cmd(domid_t domid, vcpuid_t vcpuid);
|
Completed in 7 milliseconds