Searched refs:generic_target_write_pc (Results 1 – 4 of 4) sorted by relevance
175 extern void generic_target_write_pc (CORE_ADDR, ptid_t);
1351 generic_target_write_pc (CORE_ADDR pc, ptid_t ptid) in generic_target_write_pc() function
2833 set_gdbarch_write_pc (gdbarch, generic_target_write_pc); in rs6000_gdbarch_init()
478 current_gdbarch->write_pc = generic_target_write_pc; in gdbarch_alloc()