> 2004-02-13  David Mosberger  <davidm@hpl.hp.com>
> 
> 	* Makefile.in (ia64_tdep_h): New macro.
> 	(ia64-linux-tdep.o): Mention $(ia64_tdep_h).
> 	(ia64-tdep.o): Likewise.
> 
> 	* ia64-tdep.h (ia64_linux_write_pc): New file.
> 	* ia64-tdep.c: Update copyright notice.
> 	Include "ia64-tdep.h".
> 	(ia64_linux_sigcontext_register_address): Move decl to ia64-tdep.h.
> 	(ia64_aix_sigcontext_register_address): Likewise.
> 	(ia64_linux_getunwind_table): Likewise.
> 	* ia64-linux-tdep.c: Likewise.
> 	Include "regcache.h" to get write_register_pid() declared.
> 
I've checked this part in as obvious (David doesn't want ssh access :-) 
which leaves:

> 2004-02-12  David Mosberger  <davidm@hpl.hp.com>
> 
> 	* ia64-tdep.c (ia64_linux_write_pc): Declare as extern.
> 	(ia64_write_pc): Make it a global function.
> 	(ia64_gdbarch_init): For Linux targets, use ia64_linux_write_pc()
> 	instead of ia64_write_pc().
> 
> 	* ia64-linux-tdep.c (ia64_write_pc): Declare as extern.
> 	(ia64_linux_write_pc): New function.  Works like ia64_write_pc(),
> 	except that it also clears r10 afterwards to prevent the kernel
> 	from attempting to restart an interrupt system call.

Andrew