| /kernel/trunk/generic/include/mm/page.h |
|---|
| 60,7 → 60,6 |
| #define PAGE_GLOBAL (1<<PAGE_GLOBAL_SHIFT) |
| /* TODO - check that userspace is OK, platform specific functions etc */ |
| static inline void copy_to_uspace(void *dst, void *src, count_t cnt) |
| { |
| /kernel/trunk/generic/include/mm/as.h |
|---|
| 104,6 → 104,7 |
| extern void as_init(void); |
| extern as_t *as_create(int flags); |
| extern as_area_t *as_area_create(as_t *as, as_area_type_t type, size_t size, __address base); |
| extern __address as_remap(as_t *as, __address address, 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); |
| /kernel/trunk/generic/include/syscall/syscall.h |
|---|
| 32,6 → 32,7 |
| typedef enum { |
| SYS_CTL = 0, |
| SYS_IO, |
| SYS_MREMAP, |
| SYS_IPC_CALL_SYNC, |
| SYS_IPC_CALL_SYNC_MEDIUM, |
| SYS_IPC_CALL_ASYNC, |