Index: kernel/arch/ia64/src/drivers/ega.c
===================================================================
--- kernel/arch/ia64/src/drivers/ega.c	(revision 15819e3721b214ac8d8e1b9270bd032b691b3e41)
+++ 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;
 }