Index: kernel/arch/ia32/src/drivers/ega.c
===================================================================
--- kernel/arch/ia32/src/drivers/ega.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/arch/ia32/src/drivers/ega.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -116,5 +116,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/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/arch/ia32/src/pm.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -113,5 +113,5 @@
 void tss_initialize(tss_t *t)
 {
-	memsetb((uintptr_t) t, sizeof(struct tss), 0);
+	memsetb(t, sizeof(struct tss), 0);
 }
 
@@ -241,5 +241,5 @@
 	ipl_t ipl = interrupts_disable();
 	
-	memsetb((uintptr_t) idt, sizeof(idt), 0);
+	memsetb(idt, sizeof(idt), 0);
 	
 	ptr_16_32_t idtr;
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/arch/ia32/src/smp/smp.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -161,6 +161,5 @@
 
 		memcpy(gdt_new, gdt, GDT_ITEMS * sizeof(struct descriptor));
-		memsetb((uintptr_t)(&gdt_new[TSS_DES]),
-		    sizeof(struct descriptor), 0);
+		memsetb(&gdt_new[TSS_DES], sizeof(struct descriptor), 0);
 		protected_ap_gdtr.limit = GDT_ITEMS * sizeof(struct descriptor);
 		protected_ap_gdtr.base = KA2PA((uintptr_t) gdt_new);