Searched refs:regnum (Results 1 - 6 of 6) sorted by last modified time

/barrelfish-master/usr/vmkitmon/
H A Dguest.c1334 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 Dguest.c1804 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 Dgdb_stub.h19 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 Dgdb_stub.c281 uintptr_t addr, length, regnum, value; local
331 newpos = parse_hex_val(request, &regnum);
337 r = gdb_arch_get_register(regnum, &value);
352 newpos = parse_hex_val(request, &regnum);
364 r = gdb_arch_set_register(regnum, value);
/barrelfish-master/kernel/arch/x86_64/
H A Dgdb_arch.c133 * \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 Dgdb_arch.c76 * \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