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