Searched refs:gdbarch_write_pc (Results 1 - 6 of 6) sorted by relevance
| /netbsd-current/external/gpl3/gdb.old/dist/gdb/ |
| H A D | gdbarch.h | 266 extern void gdbarch_write_pc (struct gdbarch *gdbarch, struct regcache *regcache, CORE_ADDR val);
|
| H A D | regcache.c | 1331 gdbarch_write_pc (gdbarch, regcache, pc);
|
| H A D | gdbarch.c | 1955 gdbarch_write_pc (struct gdbarch *gdbarch, struct regcache *regcache, CORE_ADDR val) function
1960 fprintf_unfiltered (gdb_stdlog, "gdbarch_write_pc called\n");
|
| /netbsd-current/external/gpl3/gdb/dist/gdb/ |
| H A D | gdbarch-gen.h | 175 extern void gdbarch_write_pc (struct gdbarch *gdbarch, struct regcache *regcache, CORE_ADDR val);
|
| H A D | regcache.c | 1373 gdbarch_write_pc (gdbarch, regcache, pc);
|
| H A D | gdbarch.c | 1793 gdbarch_write_pc (struct gdbarch *gdbarch, struct regcache *regcache, CORE_ADDR val) function
1798 gdb_printf (gdb_stdlog, "gdbarch_write_pc called\n");
|
Completed in 233 milliseconds