Rev 1250 | Rev 1330 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1250 | Rev 1307 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | 31 | ||
32 | #include <types.h> |
32 | #include <types.h> |
33 | #include <task.h> |
33 | #include <task.h> |
34 | 34 | ||
35 | extern void *as_area_create(void *address, size_t size, int flags); |
35 | extern void *as_area_create(void *address, size_t size, int flags); |
36 | extern void *as_area_resize(void *address, size_t size, int flags); |
36 | extern int as_area_resize(void *address, size_t size, int flags); |
- | 37 | extern int as_area_destroy(void *address); |
|
37 | extern int as_area_accept(task_id_t id, void *base, size_t size, int flags); |
38 | extern int as_area_accept(task_id_t id, void *base, size_t size, int flags); |
38 | extern int as_area_send(task_id_t id, void *base); |
39 | extern int as_area_send(task_id_t id, void *base); |
39 | 40 | ||
40 | #endif |
41 | #endif |