Rev 1380 | Rev 1409 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1380 | Rev 1387 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | #define AS_AREA_READ 1 |
33 | #define AS_AREA_READ 1 |
34 | #define AS_AREA_WRITE 2 |
34 | #define AS_AREA_WRITE 2 |
35 | #define AS_AREA_EXEC 4 |
35 | #define AS_AREA_EXEC 4 |
36 | #define AS_AREA_DEVICE 8 |
36 | #define AS_AREA_DEVICE 8 |
37 | 37 | ||
38 | - | ||
39 | #ifdef KERNEL |
38 | #ifdef KERNEL |
40 | 39 | ||
41 | #include <arch/mm/page.h> |
40 | #include <arch/mm/page.h> |
42 | #include <arch/mm/as.h> |
41 | #include <arch/mm/as.h> |
43 | #include <arch/mm/asid.h> |
42 | #include <arch/mm/asid.h> |
Line 81... | Line 80... | ||
81 | mutex_t lock; |
80 | mutex_t lock; |
82 | int flags; /**< Flags related to the memory represented by the address space area. */ |
81 | int flags; /**< Flags related to the memory represented by the address space area. */ |
83 | int attributes; /**< Attributes related to the address space area itself. */ |
82 | int attributes; /**< Attributes related to the address space area itself. */ |
84 | count_t pages; /**< Size of this area in multiples of PAGE_SIZE. */ |
83 | count_t pages; /**< Size of this area in multiples of PAGE_SIZE. */ |
85 | __address base; /**< Base address of this area. */ |
84 | __address base; /**< Base address of this area. */ |
- | 85 | btree_t used_space; /**< Map of used space. */ |
|
86 | }; |
86 | }; |
87 | 87 | ||
88 | /** Address space structure. |
88 | /** Address space structure. |
89 | * |
89 | * |
90 | * as_t contains the list of as_areas of userspace accessible |
90 | * as_t contains the list of as_areas of userspace accessible |