Searched refs:regstype_t (Results 1 – 3 of 3) sorted by relevance
| /xen/tools/debugger/gdbsx/xg/ |
| A D | xg_public.h | 28 } regstype_t; typedef
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 | 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 | 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()
|
Completed in 4 milliseconds