+2013-04-17  Yufeng Zhang  <yufeng.zhang@arm.com>
+
+       * aarch64-tdep.c (aarch64_write_pc): Removed.
+       (aarch64_gdbarch_init): Remove set_gdbarch_write_pc of the above function.
+
 2013-04-17  Yao Qi  <yao@codesourcery.com>
 
        * top.c (print_gdb_configuration): Print configure-time
 
   gdb_assert_not_reached ("regnum out of bound");
 }
 
-/* Implement the "write_pc" gdbarch method.  */
-
-static void
-aarch64_write_pc (struct regcache *regcache, CORE_ADDR pc)
-{
-  regcache_cooked_write_unsigned (regcache, AARCH64_PC_REGNUM, pc);
-}
-
 /* Callback function for user_reg_add.  */
 
 static struct value *
   set_gdbarch_push_dummy_call (gdbarch, aarch64_push_dummy_call);
   set_gdbarch_frame_align (gdbarch, aarch64_frame_align);
 
-  set_gdbarch_write_pc (gdbarch, aarch64_write_pc);
-
   /* Frame handling.  */
   set_gdbarch_dummy_id (gdbarch, aarch64_dummy_id);
   set_gdbarch_unwind_pc (gdbarch, aarch64_unwind_pc);