Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/adt/hash_table.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -64,5 +64,5 @@
 		panic("cannot allocate memory for hash table\n");
 	}
-	memsetb((uintptr_t) h->entry, m * sizeof(link_t), 0);
+	memsetb(h->entry, m * sizeof(link_t), 0);
 	
 	for (i = 0; i < m; i++)
Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/cpu/cpu.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -68,5 +68,5 @@
 
 		/* initialize everything */
-		memsetb((uintptr_t) cpus, sizeof(cpu_t) * config.cpu_count, 0);
+		memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
 
 		for (i = 0; i < config.cpu_count; i++) {
Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/ipc/ipc.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -67,5 +67,5 @@
 static void _ipc_call_init(call_t *call)
 {
-	memsetb((uintptr_t) call, sizeof(*call), 0);
+	memsetb(call, sizeof(*call), 0);
 	call->callerbox = &TASK->answerbox;
 	call->sender = TASK;
Index: kernel/generic/src/lib/memstr.c
===================================================================
--- kernel/generic/src/lib/memstr.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/lib/memstr.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -88,5 +88,5 @@
  *
  */
-void _memsetb(uintptr_t dst, size_t cnt, uint8_t x)
+void _memsetb(void *dst, size_t cnt, uint8_t x)
 {
 	unsigned int i;
@@ -107,5 +107,5 @@
  *
  */
-void _memsetw(uintptr_t dst, size_t cnt, uint16_t x)
+void _memsetw(void *dst, size_t cnt, uint16_t x)
 {
 	unsigned int i;
Index: kernel/generic/src/lib/objc_ext.c
===================================================================
--- kernel/generic/src/lib/objc_ext.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/lib/objc_ext.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -162,5 +162,5 @@
 void *memset(void *s, int c, size_t n)
 {
-	memsetb((uintptr_t) s, n, c);
+	memsetb(s, n, c);
 	return s;
 }
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/mm/as.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -325,6 +325,5 @@
 		a->backend_data = *backend_data;
 	else
-		memsetb((uintptr_t) &a->backend_data, sizeof(a->backend_data),
-		    0);
+		memsetb(&a->backend_data, sizeof(a->backend_data), 0);
 
 	btree_create(&a->used_space);
Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/mm/backend_anon.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -114,5 +114,5 @@
 			if (allocate) {
 				frame = (uintptr_t) frame_alloc(ONE_FRAME, 0);
-				memsetb(PA2KA(frame), FRAME_SIZE, 0);
+				memsetb((void *) PA2KA(frame), FRAME_SIZE, 0);
 				dirty = true;
 				
@@ -145,5 +145,5 @@
 		 */
 		frame = (uintptr_t) frame_alloc(ONE_FRAME, 0);
-		memsetb(PA2KA(frame), FRAME_SIZE, 0);
+		memsetb((void *) PA2KA(frame), FRAME_SIZE, 0);
 		dirty = true;
 	}
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/mm/backend_elf.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -163,5 +163,5 @@
 		 */
 		frame = (uintptr_t)frame_alloc(ONE_FRAME, 0);
-		memsetb(PA2KA(frame), FRAME_SIZE, 0);
+		memsetb((void *) PA2KA(frame), FRAME_SIZE, 0);
 		dirty = true;
 	} else {
@@ -188,6 +188,6 @@
 		    (void *) (base + i * FRAME_SIZE + pad_lo),
 		    FRAME_SIZE - pad_lo - pad_hi);
-		memsetb(PA2KA(frame), pad_lo, 0);
-		memsetb(PA2KA(frame) + FRAME_SIZE - pad_hi, pad_hi, 0);
+		memsetb((void *) PA2KA(frame), pad_lo, 0);
+		memsetb((void *) (PA2KA(frame) + FRAME_SIZE - pad_hi), pad_hi, 0);
 		dirty = true;
 	}
Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/mm/slab.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -560,6 +560,5 @@
 	cache->mag_cache = malloc(sizeof(slab_mag_cache_t) * config.cpu_count,0);
 	for (i = 0; i < config.cpu_count; i++) {
-		memsetb((uintptr_t)&cache->mag_cache[i],
-			sizeof(cache->mag_cache[i]), 0);
+		memsetb(&cache->mag_cache[i], sizeof(cache->mag_cache[i]), 0);
 		spinlock_initialize(&cache->mag_cache[i].lock, "slab_maglock_cpu");
 	}
@@ -579,5 +578,5 @@
 	ipl_t ipl;
 
-	memsetb((uintptr_t)cache, sizeof(*cache), 0);
+	memsetb(cache, sizeof(*cache), 0);
 	cache->name = name;
 
Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/src/proc/thread.c	(revision 1c03c17200abbb4be0af6280a56da5df849938f2)
@@ -294,6 +294,5 @@
 	
 	/* Not needed, but good for debugging */
-	memsetb((uintptr_t) t->kstack, THREAD_STACK_SIZE * 1 << STACK_FRAMES,
-	    0);
+	memsetb(t->kstack, THREAD_STACK_SIZE * 1 << STACK_FRAMES, 0);
 	
 	ipl = interrupts_disable();