Searched defs:gdb_arch_set_register (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/arm/
H A Dgdb_arch.c29 void gdb_arch_set_register(void) { dbg_break(); } function
/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

Completed in 72 milliseconds