Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/genarch/src/mm/as_pt.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -104,5 +104,5 @@
 
 	if (flags & FLAG_AS_KERNEL) {
-		memsetb((uintptr_t) dst_ptl0, table_size, 0);
+		memsetb(dst_ptl0, table_size, 0);
 	} else {
 		uintptr_t src, dst;
@@ -119,5 +119,5 @@
 		dst = (uintptr_t) &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
 
-		memsetb((uintptr_t) dst_ptl0, table_size, 0);
+		memsetb(dst_ptl0, table_size, 0);
 		memcpy((void *) dst, (void *) src, table_size - (src - (uintptr_t) src_ptl0));
 		mutex_unlock(&AS_KERNEL->lock);
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/genarch/src/mm/page_pt.c	(revision b7b675307e0a41ee1e8b50270215df7dabd37b8a)
@@ -77,5 +77,5 @@
 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {
 		newpt = (pte_t *)frame_alloc(PTL1_SIZE, FRAME_KA);
-		memsetb((uintptr_t)newpt, FRAME_SIZE << PTL1_SIZE, 0);
+		memsetb(newpt, FRAME_SIZE << PTL1_SIZE, 0);
 		SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page), KA2PA(newpt));
 		SET_PTL1_FLAGS(ptl0, PTL0_INDEX(page), PAGE_PRESENT | PAGE_USER | PAGE_EXEC | PAGE_CACHEABLE | PAGE_WRITE);
@@ -86,5 +86,5 @@
 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT) {
 		newpt = (pte_t *)frame_alloc(PTL2_SIZE, FRAME_KA);
-		memsetb((uintptr_t)newpt, FRAME_SIZE << PTL2_SIZE, 0);
+		memsetb(newpt, FRAME_SIZE << PTL2_SIZE, 0);
 		SET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page), KA2PA(newpt));
 		SET_PTL2_FLAGS(ptl1, PTL1_INDEX(page), PAGE_PRESENT | PAGE_USER | PAGE_EXEC | PAGE_CACHEABLE | PAGE_WRITE);
@@ -95,5 +95,5 @@
 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT) {
 		newpt = (pte_t *)frame_alloc(PTL3_SIZE, FRAME_KA);
-		memsetb((uintptr_t)newpt, FRAME_SIZE << PTL3_SIZE, 0);
+		memsetb(newpt, FRAME_SIZE << PTL3_SIZE, 0);
 		SET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page), KA2PA(newpt));
 		SET_PTL3_FLAGS(ptl2, PTL2_INDEX(page), PAGE_PRESENT | PAGE_USER | PAGE_EXEC | PAGE_CACHEABLE | PAGE_WRITE);
@@ -147,5 +147,5 @@
 
 	/* Destroy the mapping. Setting to PAGE_NOT_PRESENT is not sufficient. */
-	memsetb((uintptr_t) &ptl3[PTL3_INDEX(page)], sizeof(pte_t), 0);
+	memsetb(&ptl3[PTL3_INDEX(page)], sizeof(pte_t), 0);
 
 	/*
@@ -167,9 +167,9 @@
 		frame_free(KA2PA((uintptr_t) ptl3));
 		if (PTL2_ENTRIES)
-			memsetb((uintptr_t) &ptl2[PTL2_INDEX(page)], sizeof(pte_t), 0);
+			memsetb(&ptl2[PTL2_INDEX(page)], sizeof(pte_t), 0);
 		else if (PTL1_ENTRIES)
-			memsetb((uintptr_t) &ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
+			memsetb(&ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
 		else
-			memsetb((uintptr_t) &ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
+			memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
 	} else {
 		/*
@@ -196,7 +196,7 @@
 			frame_free(KA2PA((uintptr_t) ptl2));
 			if (PTL1_ENTRIES)
-				memsetb((uintptr_t) &ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
+				memsetb(&ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
 			else
-				memsetb((uintptr_t) &ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
+				memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
 		}
 		else {
@@ -224,5 +224,5 @@
 			 */
 			frame_free(KA2PA((uintptr_t) ptl1));
-			memsetb((uintptr_t) &ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
+			memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
 		}
 	}