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 | */ |