Changes in kernel/generic/src/mm/backend_phys.c [cda1378:a0ce870] in mainline

File:

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

kernel/generic/src/mm/backend_phys.c

@@ -48 +48 @@
 #include <align.h>
 
-static bool phys_create(as_area_t *);
-static void phys_share(as_area_t *);
-static void phys_destroy(as_area_t *);
-
-static int phys_page_fault(as_area_t *, uintptr_t, pf_access_t);
+static int phys_page_fault(as_area_t *area, uintptr_t addr, pf_access_t access);
+static void phys_share(as_area_t *area);
 
 mem_backend_t phys_backend = {
-        .create = phys_create,
-        .resize = NULL,
-        .share = phys_share,
-        .destroy = phys_destroy,
-
         .page_fault = phys_page_fault,
         .frame_free = NULL,
+        .share = phys_share
 };
-
-bool phys_create(as_area_t *area)
-{
-        return true;
-}
-
-/** Share address space area backed by physical memory.
- *
- * Do actually nothing as sharing of address space areas
- * that are backed up by physical memory is very easy.
- * Note that the function must be defined so that
- * as_area_share() will succeed.
- */
-void phys_share(as_area_t *area)
-{
-        ASSERT(mutex_locked(&area->as->lock));
-        ASSERT(mutex_locked(&area->lock));
-}
-
-
-void phys_destroy(as_area_t *area)
-{
-        /* Nothing to do. */
-}
 
 /** Service a page fault in the address space area backed by physical memory.
@@ -119 +88 @@
 }
 
+/** Share address space area backed by physical memory.
+ *
+ * Do actually nothing as sharing of address space areas
+ * that are backed up by physical memory is very easy.
+ * Note that the function must be defined so that
+ * as_area_share() will succeed.
+ */
+void phys_share(as_area_t *area)
+{
+        ASSERT(mutex_locked(&area->as->lock));
+        ASSERT(mutex_locked(&area->lock));
+}
+
 /** @}
  */