Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 2b8b0ca53be5cc20f005c530d297aade8f24ad53)
+++ kernel/generic/src/mm/as.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -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 2b8b0ca53be5cc20f005c530d297aade8f24ad53)
+++ kernel/generic/src/mm/backend_anon.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -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 2b8b0ca53be5cc20f005c530d297aade8f24ad53)
+++ kernel/generic/src/mm/backend_elf.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -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 2b8b0ca53be5cc20f005c530d297aade8f24ad53)
+++ kernel/generic/src/mm/slab.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -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;
 
