Searched defs:gdb_arch_set_register (Results 1 - 3 of 3) sorted by last modified time

/barrelfish-master/kernel/arch/x86_64/
H A Dgdb_arch.c152 int gdb_arch_set_register(int regnum, uintptr_t value) function
/barrelfish-master/kernel/arch/x86_32/
H A Dgdb_arch.c91 int gdb_arch_set_register(int regnum, uintptr_t value) function
/barrelfish-master/kernel/arch/arm/
H A Dgdb_arch.c29 void gdb_arch_set_register(void) { dbg_break(); } function

Completed in 55 milliseconds