Searched refs:regnum (Results 1 - 6 of 6) sorted by last modified time
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 1334 get_reg_val_by_reg_num (struct guest *g, uint8_t regnum) { argument 1335 switch (regnum) { 1359 set_reg_val_by_reg_num (struct guest *g, uint8_t regnum, uint64_t val) { argument 1360 switch (regnum) {
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 1804 get_reg_val_by_reg_num (struct guest *g, uint8_t regnum) { argument 1805 switch (regnum) { 1829 set_reg_val_by_reg_num (struct guest *g, uint8_t regnum, uint64_t val) { argument 1830 switch (regnum) {
|
/barrelfish-master/kernel/include/ |
H A D | gdb_stub.h | 19 int gdb_arch_get_register(int regnum, uintptr_t * NONNULL SAFE value); 20 int gdb_arch_set_register(int regnum, uintptr_t value);
|
/barrelfish-master/kernel/ |
H A D | gdb_stub.c | 281 uintptr_t addr, length, regnum, value; local 331 newpos = parse_hex_val(request, ®num); 337 r = gdb_arch_get_register(regnum, &value); 352 newpos = parse_hex_val(request, ®num); 364 r = gdb_arch_set_register(regnum, value);
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | gdb_arch.c | 133 * \param regnum register number (as defined by the #gdb_register_nums enum) 135 * \return Zero on success, nonzero on failure (invalid regnum). 137 int gdb_arch_get_register(int regnum, uintptr_t *value) argument 139 if (regnum < 0 || regnum >= GDB_X86_64_NUM_REGS) { 143 *value = gdb_arch_registers[regnum]; 148 * \param regnum register number (as defined by the #gdb_register_nums enum) 150 * \return Zero on success, nonzero on failure (invalid regnum). 152 int gdb_arch_set_register(int regnum, uintptr_t value) argument 154 if (regnum < [all...] |
/barrelfish-master/kernel/arch/x86_32/ |
H A D | gdb_arch.c | 76 * \param regnum register number (as defined by the #gdb_register_nums enum) 78 * \return Zero on success, nonzero on failure (invalid regnum). 80 int gdb_arch_get_register(int regnum, uintptr_t *value) argument 87 * \param regnum register number (as defined by the #gdb_register_nums enum) 89 * \return Zero on success, nonzero on failure (invalid regnum). 91 int gdb_arch_set_register(int regnum, uintptr_t value) argument
|
Completed in 89 milliseconds