Changeset 5df1963 in mainline for kernel/genarch/src/mm/as_pt.c

Timestamp:

2013-09-10T21:47:25Z (12 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

0511549

Parents:

a501e22c

Message:

bitmap frame allocator does not keep track of the size of the allocated frame blocks
to avoid memory leaks the number of allocated frames needs to be passed explicitly during deallocation

File:

• kernel/genarch/src/mm/as_pt.c (modified) (1 diff)

kernel/genarch/src/mm/as_pt.c

@@ -113 +113 @@
 void ptl0_destroy(pte_t *page_table)
 {
-        frame_free((uintptr_t) page_table);
+        frame_free((uintptr_t) page_table, PTL0_FRAMES);
 }