Rev 2183 | Rev 2745 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2183 | Rev 2556 | ||
|---|---|---|---|
| Line 1221... | Line 1221... | ||
| 1221 | } |
1221 | } |
| 1222 | 1222 | ||
| 1223 | return true; |
1223 | return true; |
| 1224 | } |
1224 | } |
| 1225 | 1225 | ||
| 1226 | /** Return size of the address space area with given base. */ |
1226 | /** Return size of the address space area with given base. |
| - | 1227 | * |
|
| - | 1228 | * @param base Arbitrary address insede the address space area. |
|
| - | 1229 | * |
|
| - | 1230 | * @return Size of the address space area in bytes or zero if it |
|
| - | 1231 | * does not exist. |
|
| - | 1232 | */ |
|
| 1227 | size_t as_get_size(uintptr_t base) |
1233 | size_t as_area_get_size(uintptr_t base) |
| 1228 | { |
1234 | { |
| 1229 | ipl_t ipl; |
1235 | ipl_t ipl; |
| 1230 | as_area_t *src_area; |
1236 | as_area_t *src_area; |
| 1231 | size_t size; |
1237 | size_t size; |
| 1232 | 1238 | ||