Changeset d078c9b9 in mainline

Timestamp:

2016-09-02T19:48:36Z (8 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

4c3602c4

Parents:

3233adb

Message:

Add implementation details to user_backend

Forbid sharing and resizing, and implement freeing frames.

File:

• kernel/generic/src/mm/backend_user.c (modified) (6 diffs)

kernel/generic/src/mm/backend_user.c

@@ -39 +39 @@
 #include <mm/as.h>
 #include <mm/page.h>
+#include <mm/frame.h>
 #include <abi/mm/as.h>
 #include <abi/ipc/methods.h>
@@ -50 +51 @@
 
 static bool user_create(as_area_t *);
-static bool user_resize(as_area_t *, size_t);
-static void user_share(as_area_t *);
 static void user_destroy(as_area_t *);
 
@@ -62 +61 @@
 mem_backend_t user_backend = {
         .create = user_create,
-        .resize = user_resize,
-        .share = user_share,
+        .resize = NULL,
+        .share = NULL,
         .destroy = user_destroy,
 
@@ -81 +80 @@
 }
 
-bool user_resize(as_area_t *area, size_t new_pages)
-{
-        return true;
-}
-
-/** Share the user-paged address space area.
- *
- * The address space and address space area must be already locked.
- *
- * @param area Address space area to be shared.
- */
-void user_share(as_area_t *area)
-{
-        ASSERT(mutex_locked(&area->as->lock));
-        ASSERT(mutex_locked(&area->lock));
-}
-
 void user_destroy(as_area_t *area)
 {
@@ -105 +87 @@
 bool user_is_resizable(as_area_t *area)
 {
-        return true;
+        return false;
 }
 
 bool user_is_shareable(as_area_t *area)
 {
-        return true;
+        return false;
 }
 
@@ -182 +164 @@
         ASSERT(page_table_locked(area->as));
         ASSERT(mutex_locked(&area->lock));
+
+        pfn_t pfn = ADDR2PFN(frame);
+        if (find_zone(pfn, 1, 0) != (size_t) -1) {
+                frame_free(frame, 1);
+        } else {
+                /* Nothing to do */
+        }
+                
 }