Changeset a9e8b39 in mainline for generic/include/mm/as.h

Timestamp:

2006-04-26T17:56:23Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

ed6c81f1

Parents:

6fa476f7

Message:

Prevent race in as_area_send() by allowing the address space area to be
created with AS_AREA_ATTR_PARTIAL attribute.

File:

• generic/include/mm/as.h (modified) (3 diffs)

generic/include/mm/as.h

@@ -60 +60 @@
 #define AS_AREA_DEVICE  8
 
+/** Address space area attributes. */
+#define AS_AREA_ATTR_NONE       0
+#define AS_AREA_ATTR_PARTIAL    1       /* Not fully initialized area. */
+
 /** Address space area structure.
  *
@@ -67 +71 @@
 struct as_area {
         SPINLOCK_DECLARE(lock);
-        int flags;
+        int flags;              /**< Flags related to the memory represented by the address space area. */
+        int attributes;         /**< Attributes related to the address space area itself. */
         count_t pages;          /**< Size of this area in multiples of PAGE_SIZE. */
         __address base;         /**< Base address of this area. */
@@ -113 +118 @@
 extern void as_init(void);
 extern as_t *as_create(int flags);
-extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base);
+extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs);
 extern __address as_area_resize(as_t *as, __address address, size_t size, int flags);
-int as_area_send(task_id_t id, __address base);
+int as_area_send(task_id_t dst_id, __address base);
 extern void as_set_mapping(as_t *as, __address page, __address frame);
 extern int as_page_fault(__address page);