Changes in kernel/generic/src/mm/km.c [a35b458:1b20da0] in mainline

File:

• kernel/generic/src/mm/km.c (modified) (3 diffs)

kernel/generic/src/mm/km.c

@@ -149 +149 @@
         }
         page_table_unlock(AS_KERNEL, true);
-
+        
         return vaddr;
 }
@@ -247 +247 @@
         assert(framep);
         assert(!(flags & ~(FRAME_NO_RESERVE | FRAME_ATOMIC)));
-
+        
         /*
          * Allocate a frame, preferably from high memory.
@@ -267 +267 @@
                 if (!frame)
                         return (uintptr_t) NULL;
-
+                
                 page = PA2KA(frame);
         }
-
+        
         *framep = frame;
         return page;