Index: kernel/generic/include/lib/refcount.h
===================================================================
--- kernel/generic/include/lib/refcount.h	(revision 543662b3a5a91cc3b12c5ff897d1940f7a0248fc)
+++ kernel/generic/include/lib/refcount.h	(revision 0705fc5d3687b1ccff06bbb14c734f004dabdc9d)
@@ -73,4 +73,5 @@
 	/* old < 0 indicates that the function is used incorrectly. */
 	assert(old >= 0);
+	(void) old;
 }
 
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 543662b3a5a91cc3b12c5ff897d1940f7a0248fc)
+++ kernel/generic/src/mm/as.c	(revision 0705fc5d3687b1ccff06bbb14c734f004dabdc9d)
@@ -871,4 +871,5 @@
 					    ptr + P2SZ(i), false, &pte);
 
+					(void) found;
 					assert(found);
 					assert(PTE_VALID(&pte));
@@ -984,4 +985,5 @@
 				    ptr + P2SZ(size), false, &pte);
 
+				(void) found;
 				assert(found);
 				assert(PTE_VALID(&pte));
@@ -1302,4 +1304,5 @@
 				    ptr + P2SZ(size), false, &pte);
 
+				(void) found;
 				assert(found);
 				assert(PTE_VALID(&pte));
Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision 543662b3a5a91cc3b12c5ff897d1940f7a0248fc)
+++ kernel/generic/src/mm/backend_anon.c	(revision 0705fc5d3687b1ccff06bbb14c734f004dabdc9d)
@@ -139,4 +139,5 @@
 				    base + P2SZ(j), false, &pte);
 
+				(void)found;
 				assert(found);
 				assert(PTE_VALID(&pte));
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 543662b3a5a91cc3b12c5ff897d1940f7a0248fc)
+++ kernel/generic/src/mm/backend_elf.c	(revision 0705fc5d3687b1ccff06bbb14c734f004dabdc9d)
@@ -200,4 +200,5 @@
 				    base + P2SZ(j), false, &pte);
 
+				(void) found;
 				assert(found);
 				assert(PTE_VALID(&pte));
@@ -344,4 +345,5 @@
 			    base + i * FRAME_SIZE, true, &pte);
 
+			(void) found;
 			assert(found);
 			assert(PTE_PRESENT(&pte));
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 543662b3a5a91cc3b12c5ff897d1940f7a0248fc)
+++ kernel/generic/src/mm/frame.c	(revision 0705fc5d3687b1ccff06bbb14c734f004dabdc9d)
@@ -376,4 +376,5 @@
 	    FRAME_LOWPRIO, constraint, &index);
 
+	(void) avail;
 	assert(avail);
 	assert(index != (size_t) -1);
Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 543662b3a5a91cc3b12c5ff897d1940f7a0248fc)
+++ kernel/generic/src/mm/km.c	(revision 0705fc5d3687b1ccff06bbb14c734f004dabdc9d)
@@ -113,4 +113,5 @@
 	span_added = ra_span_add(km_ni_arena, base, size);
 	assert(span_added);
+	(void) span_added;
 }