Rev 840 | Rev 977 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 840 | Rev 973 | ||
---|---|---|---|
Line 101... | Line 101... | ||
101 | as->page_table = page_table_create(flags); |
101 | as->page_table = page_table_create(flags); |
102 | 102 | ||
103 | return as; |
103 | return as; |
104 | } |
104 | } |
105 | 105 | ||
- | 106 | /** Free Adress space */ |
|
- | 107 | void as_free(as_t *as) |
|
- | 108 | { |
|
- | 109 | ASSERT(as->refcount == 0); |
|
- | 110 | ||
- | 111 | /* TODO: free as_areas and other resources held by as */ |
|
- | 112 | /* TODO: free page table */ |
|
- | 113 | free(as); |
|
- | 114 | } |
|
- | 115 | ||
106 | /** Create address space area of common attributes. |
116 | /** Create address space area of common attributes. |
107 | * |
117 | * |
108 | * The created address space area is added to the target address space. |
118 | * The created address space area is added to the target address space. |
109 | * |
119 | * |
110 | * @param as Target address space. |
120 | * @param as Target address space. |