Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
+++ kernel/generic/src/mm/km.c	(revision e2a0d76262c824f700198bedc668eb60c9ab9cfa)
@@ -239,29 +239,30 @@
 uintptr_t km_temporary_page_get(uintptr_t *framep, frame_flags_t flags)
 {
-	uintptr_t frame;
-	uintptr_t page;
-
 	ASSERT(THREAD);
 	ASSERT(framep);
 	ASSERT(!(flags & ~(FRAME_NO_RESERVE | FRAME_ATOMIC)));
-
+	
 	/*
 	 * Allocate a frame, preferably from high memory.
 	 */
-	frame = frame_alloc(ONE_FRAME,
+	uintptr_t page;
+	uintptr_t frame = frame_alloc(ONE_FRAME,
 	    FRAME_HIGHMEM | FRAME_ATOMIC | flags, 0); 
 	if (frame) {
 		page = km_map(frame, PAGE_SIZE,
 		    PAGE_READ | PAGE_WRITE | PAGE_CACHEABLE);
-		ASSERT(page);	// FIXME
+		
+		// FIXME
+		ASSERT(page);
 	} else {
 		frame = frame_alloc(ONE_FRAME, FRAME_LOWMEM | flags, 0);
 		if (!frame)
 			return (uintptr_t) NULL;
+		
 		page = PA2KA(frame);
 	}
-
+	
 	*framep = frame;
-	return page;	
+	return page;
 }
 
Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
+++ kernel/generic/src/mm/slab.c	(revision e2a0d76262c824f700198bedc668eb60c9ab9cfa)
@@ -184,7 +184,6 @@
 	void *data = (void *)
 	    PA2KA(frame_alloc_generic(cache->order, flags, 0, &zone));
-	if (!data) {
+	if (!data)
 		return NULL;
-	}
 	
 	slab_t *slab;