Changes in kernel/generic/src/mm/backend_user.c [174156fd:2fc3b2d] in mainline

File:

• kernel/generic/src/mm/backend_user.c (modified) (1 diff)

kernel/generic/src/mm/backend_user.c

@@ -147 +147 @@
         uintptr_t frame = IPC_GET_ARG1(data);
         page_mapping_insert(AS, upage, frame, as_area_get_flags(area));
-        if (!used_space_insert(area, upage, 1))
+        if (!used_space_insert(&area->used_space, upage, 1))
                 panic("Cannot insert used space.");