Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2292 | ||
|---|---|---|---|
| Line 38... | Line 38... | ||
| 38 | #include <types.h> |
38 | #include <types.h> |
| 39 | #include <task.h> |
39 | #include <task.h> |
| 40 | #include <kernel/mm/as.h> |
40 | #include <kernel/mm/as.h> |
| 41 | #include <libarch/config.h> |
41 | #include <libarch/config.h> |
| 42 | 42 | ||
| 43 | #define PAGE_COLOR(va) (((va) >> PAGE_WIDTH) & ((1 << PAGE_COLOR_BITS) - 1)) |
- | |
| 44 | - | ||
| 45 | extern void *as_area_create(void *address, size_t size, int flags); |
43 | extern void *as_area_create(void *address, size_t size, int flags); |
| 46 | extern int as_area_resize(void *address, size_t size, int flags); |
44 | extern int as_area_resize(void *address, size_t size, int flags); |
| 47 | extern int as_area_destroy(void *address); |
45 | extern int as_area_destroy(void *address); |
| 48 | extern void *set_maxheapsize(size_t mhs); |
46 | extern void *set_maxheapsize(size_t mhs); |
| 49 | extern void * as_get_mappable_page(size_t sz, int color); |
47 | extern void * as_get_mappable_page(size_t sz); |
| 50 | 48 | ||
| 51 | #endif |
49 | #endif |
| 52 | 50 | ||
| 53 | /** @} |
51 | /** @} |
| 54 | */ |
52 | */ |