update

[l4.git] / kernel / fiasco / src / kern / vmem_alloc.cpp

diff --git a/kernel/fiasco/src/kern/vmem_alloc.cpp b/kernel/fiasco/src/kern/vmem_alloc.cpp
index 946456e2e9f7a34e43b0a8290bf5e24233995c06..e570ea60188359af3644641d32293a8573ee78bb 100644 (file)
--- a/kernel/fiasco/src/kern/vmem_alloc.cpp
+++ b/kernel/fiasco/src/kern/vmem_alloc.cpp
@@ -18,7 +18,7 @@ public:
     Kernel = 0,
     User = 1
   };
-  
+
   static void init();
 
   static void *page_unmap(void *page);
@@ -31,32 +31,12 @@ public:
    * @param zf zero fill or zero map.
    * @param pa page attributes to use for the page table entry.
    */
-  static void *page_alloc (void *address,
-                          Zero_fill zf = NO_ZERO_FILL,
-                          unsigned mode = Kernel);
-
-  /**
-   * Free the page at the given virtual address.  If kernel memory was
-   * mapped at this page, deallocate the kernel memory as well.
-   *
-   * @param page Virtual address of the page to free.
-   */
-  static void page_free (void *page);
-
-#if 0
-  /**
-   * Set the page attributes of an already existing page of kernel memory.
-   *
-   * @param address the virtual address where the page is mapped.
-   * @param pa page attributes to use for the page table entry.
-   */
-  static void *page_attr (void *address, Page::Attribs pa);
-#endif
+  static void *page_alloc(void *address,
+                         Zero_fill zf = NO_ZERO_FILL,
+                         unsigned mode = Kernel);
 
 private:
-  static void page_map (void *address, int order, Zero_fill zf,
-                        Address phys);
-
-  static void page_unmap (void *address, int size);
+  static void page_map(void *address, int order, Zero_fill zf,
+                       Address phys);
 };