Changeset a9e8b39 in mainline for generic/src/ddi/ddi.c

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/src/ddi/ddi.c (modified) (1 diff)

generic/src/ddi/ddi.c

@@ -93 +93 @@
         if (writable)
                 flags |= AS_AREA_WRITE;
-        if (!as_area_create(t->as, flags, pages * PAGE_SIZE, vp)) {
+        if (!as_area_create(t->as, flags, pages * PAGE_SIZE, vp, AS_AREA_ATTR_NONE)) {
                 /*
                  * The address space area could not have been created.