Changes in / [bb6f135:e10d41a] in mainline

File:

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

kernel/generic/src/mm/km.c

@@ -151 +151 @@
 {
         uintptr_t offs;
-        size_t align;
         ipl_t ipl;
 
@@ -170 +169 @@
         page_table_unlock(AS_KERNEL, true);
 
-        /*
-         * Match the size parameter with that of km_page_alloc() in
-         * km_map_aligned().
-         */
-        align = ispwr2(size) ? size : (1U << (fnzb(size) + 1));
-        km_page_free(vaddr, max(PAGE_SIZE, align));
+        km_page_free(vaddr, size);
 }