Index: kernel/arch/ia64/include/memstr.h
===================================================================
--- kernel/arch/ia64/include/memstr.h	(revision 3abe472f1a4f6b786d6b42b5f714cad40e76457f)
+++ kernel/arch/ia64/include/memstr.h	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
@@ -38,8 +38,8 @@
 #define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
 
-extern void memsetw(uintptr_t dst, size_t cnt, uint16_t x);
-extern void memsetb(uintptr_t dst, size_t cnt, uint8_t x);
+extern void memsetw(void *dst, size_t cnt, uint16_t x);
+extern void memsetb(void *dst, size_t cnt, uint8_t x);
 
-extern int memcmp(uintptr_t src, uintptr_t dst, int cnt);
+extern int memcmp(const void *a, const void *b, size_t cnt);
 
 #endif
Index: kernel/arch/ia64/src/drivers/ega.c
===================================================================
--- kernel/arch/ia64/src/drivers/ega.c	(revision 3abe472f1a4f6b786d6b42b5f714cad40e76457f)
+++ kernel/arch/ia64/src/drivers/ega.c	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
@@ -72,5 +72,5 @@
 	 * Clear the screen.
 	 */
-	_memsetw((uintptr_t) videoram, SCREEN, 0x0720);	
+	_memsetw(videoram, SCREEN, 0x0720);	
 
 	chardev_initialize("ega_out", &ega_console, &ega_ops);
@@ -103,5 +103,5 @@
 
 	memcpy((void *) videoram, (void *) (videoram + ROW * 2), (SCREEN - ROW) * 2);
-	_memsetw((uintptr_t) (videoram + (SCREEN - ROW) * 2), ROW, 0x0720);
+	_memsetw(videoram + (SCREEN - ROW) * 2, ROW, 0x0720);
 	ega_cursor = ega_cursor - ROW;
 }
Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 3abe472f1a4f6b786d6b42b5f714cad40e76457f)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
@@ -82,5 +82,5 @@
 void vhpt_invalidate_all()
 {
-	memsetb((uintptr_t) vhpt_base, 1 << VHPT_WIDTH, 0);
+	memsetb(vhpt_base, 1 << VHPT_WIDTH, 0);
 }