Searched refs:write_pc (Results 1 – 2 of 2) sorted by relevance
160 gdbarch_write_pc_ftype *write_pc; member1406 host_address_to_string (gdbarch->write_pc)); in gdbarch_dump()1798 return gdbarch->write_pc != NULL; in gdbarch_write_pc_p()1805 gdb_assert (gdbarch->write_pc != NULL); in gdbarch_write_pc()1808 gdbarch->write_pc (regcache, val); in gdbarch_write_pc()1813 gdbarch_write_pc_ftype write_pc) in set_gdbarch_write_pc() argument1815 gdbarch->write_pc = write_pc; in set_gdbarch_write_pc()
227 extern void set_gdbarch_write_pc (struct gdbarch *gdbarch, gdbarch_write_pc_ftype *write_pc);