Changeset 482826d in mainline for generic/include/mm/page.h

Timestamp:

2006-05-31T16:23:19Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

39031cc

Parents:

343fc179

Message:

Function for destroying address space for which there is no other reference in the kernel.

File:

• generic/include/mm/page.h (modified) (1 diff)

generic/include/mm/page.h

@@ -86 +86 @@
 extern pte_t *page_mapping_find(as_t *as, __address page);
 extern pte_t *page_table_create(int flags);
+extern void page_table_destroy(pte_t *page_table);
 extern void map_structure(__address s, size_t size);
 extern __address hw_map(__address physaddr, size_t size);