--- trunk/src/include/cpu_ia64.h	2007/10/08 16:18:38	12
+++ trunk/src/include/cpu_ia64.h	2007/10/08 16:18:51	14
@@ -28,7 +28,7 @@
  *  SUCH DAMAGE.
  *
  *
- *  $Id: cpu_ia64.h,v 1.2 2005/08/14 23:44:23 debug Exp $
+ *  $Id: cpu_ia64.h,v 1.3 2005/08/28 20:16:24 debug Exp $
  */
 
 #include "misc.h"
@@ -123,8 +123,8 @@
 /*  cpu_ia64.c:  */
 void ia64_update_translation_table(struct cpu *cpu, uint64_t vaddr_page,
 	unsigned char *host_page, int writeflag, uint64_t paddr_page);
-void ia64_invalidate_translation_caches_paddr(struct cpu *cpu, uint64_t paddr);
-void ia64_invalidate_code_translation_caches(struct cpu *cpu);
+void ia64_invalidate_translation_caches_paddr(struct cpu *cpu, uint64_t, int);
+void ia64_invalidate_code_translation(struct cpu *cpu, uint64_t, int);
 int ia64_memory_rw(struct cpu *cpu, struct memory *mem, uint64_t vaddr,
 	unsigned char *data, size_t len, int writeflag, int cache_flags);
 int ia64_userland_memory_rw(struct cpu *cpu, struct memory *mem,