Rev 3022 | Rev 4537 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3022 | Rev 4055 | ||
|---|---|---|---|
| Line 83... | Line 83... | ||
| 83 | int as_area_destroy(void *address) |
83 | int as_area_destroy(void *address) |
| 84 | { |
84 | { |
| 85 | return __SYSCALL1(SYS_AS_AREA_DESTROY, (sysarg_t ) address); |
85 | return __SYSCALL1(SYS_AS_AREA_DESTROY, (sysarg_t ) address); |
| 86 | } |
86 | } |
| 87 | 87 | ||
| - | 88 | /** Change address-space area flags. |
|
| - | 89 | * |
|
| - | 90 | * @param address Virtual address pointing into the address space area being |
|
| - | 91 | * modified. |
|
| - | 92 | * @param flags New flags describing type of the area. |
|
| - | 93 | * |
|
| - | 94 | * @return Zero on success or a code from @ref errno.h on failure. |
|
| - | 95 | */ |
|
| - | 96 | int as_area_change_flags(void *address, int flags) |
|
| - | 97 | { |
|
| - | 98 | return __SYSCALL2(SYS_AS_AREA_CHANGE_FLAGS, (sysarg_t) address, |
|
| - | 99 | (sysarg_t) flags); |
|
| - | 100 | } |
|
| - | 101 | ||
| 88 | static size_t heapsize = 0; |
102 | static size_t heapsize = 0; |
| 89 | static size_t maxheapsize = (size_t) (-1); |
103 | static size_t maxheapsize = (size_t) (-1); |
| 90 | 104 | ||
| 91 | static void * last_allocated = 0; |
105 | static void * last_allocated = 0; |
| 92 | 106 | ||