Prevent race in as_area_send() by allowing the address space area to be
commita9e8b391eb50bc107c79551596bd8b68710ead90
authorJakub Jermar <jakub@jermar.eu>
Wed, 26 Apr 2006 17:56:23 +0000 (26 17:56 +0000)
committerJakub Jermar <jakub@jermar.eu>
Wed, 26 Apr 2006 17:56:23 +0000 (26 17:56 +0000)
tree83a46a4f163fb99e70eb3e7344798c376a8748a5
parent6fa476f7e7159d484a144866a0e63ebf61cb85be
Prevent race in as_area_send() by allowing the address space area to be
created with AS_AREA_ATTR_PARTIAL attribute.
generic/include/mm/as.h
generic/src/ddi/ddi.c
generic/src/lib/elf.c
generic/src/mm/as.c
generic/src/proc/task.c