Rev 1380 | Rev 1409 | Go to most recent revision | Show entire file | Ignore 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 |