29,7 → 29,6 |
#ifndef __AS_H__ |
#define __AS_H__ |
|
#include <mm/as_arg.h> |
#include <arch/mm/page.h> |
#include <arch/mm/as.h> |
#include <arch/mm/asid.h> |
114,7 → 113,6 |
extern as_t *as_create(int flags); |
extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base); |
extern __address as_area_resize(as_t *as, __address address, size_t size, int flags); |
int as_area_send(task_id_t id, __address base, size_t size, int flags); |
extern void as_set_mapping(as_t *as, __address page, __address frame); |
extern int as_page_fault(__address page); |
extern void as_switch(as_t *old, as_t *new); |
125,10 → 123,4 |
extern void as_install_arch(as_t *as); |
#endif /* !def as_install_arch */ |
|
/* Address space area related syscalls. */ |
extern __native sys_as_area_create(__address address, size_t size, int flags); |
extern __native sys_as_area_resize(__address address, size_t size, int flags); |
extern __native sys_as_area_accept(as_area_acptsnd_arg_t *uspace_accept_arg); |
extern __native sys_as_area_send(as_area_acptsnd_arg_t *uspace_send_arg); |
|
#endif |