Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 411b6a6f0339f865eaac5f492f2277fdfbbd5fcc)
+++ kernel/generic/src/mm/frame.c	(revision 71385d4f481ab9387c2c2d736bb5f36ca080775f)
@@ -161,4 +161,5 @@
  *
  */
+#ifdef CONFIG_DEBUG
 static count_t total_frames_free(void)
 {
@@ -170,4 +171,5 @@
 	return total;
 }
+#endif
 
 /** Find a zone with a given frames.
@@ -289,7 +291,4 @@
 	
 	bool is_left = IS_BUDDY_LEFT_BLOCK_ABS(zone, frame);
-	bool is_right = IS_BUDDY_RIGHT_BLOCK_ABS(zone, frame);
-	
-	ASSERT(is_left ^ is_right);
 	
 	index_t index;
@@ -297,5 +296,5 @@
 		index = (frame_index(zone, frame)) +
 		    (1 << frame->buddy_order);
-	} else {  /* if (is_right) */
+	} else {	/* is_right */
 		index = (frame_index(zone, frame)) -
 		    (1 << frame->buddy_order);
@@ -484,5 +483,7 @@
 		return;
 	
-	link_t *link = buddy_system_alloc_block(zone->buddy_system,
+	link_t *link __attribute__ ((unused));
+	
+	link = buddy_system_alloc_block(zone->buddy_system,
 	    &frame->buddy_link);
 	
@@ -609,6 +610,7 @@
 		return;
 	
-	frame_t *frame
-	    = &zones.info[znum].frames[pfn - zones.info[znum].base];
+	frame_t *frame __attribute__ ((unused));
+
+	frame = &zones.info[znum].frames[pfn - zones.info[znum].base];
 	ASSERT(!frame->buddy_order);