Rev 965 | Rev 1044 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 965 | Rev 977 | ||
|---|---|---|---|
| Line 58... | Line 58... | ||
| 58 | #define PAGE_WRITE (1<<PAGE_WRITE_SHIFT) |
58 | #define PAGE_WRITE (1<<PAGE_WRITE_SHIFT) |
| 59 | #define PAGE_EXEC (1<<PAGE_EXEC_SHIFT) |
59 | #define PAGE_EXEC (1<<PAGE_EXEC_SHIFT) |
| 60 | 60 | ||
| 61 | #define PAGE_GLOBAL (1<<PAGE_GLOBAL_SHIFT) |
61 | #define PAGE_GLOBAL (1<<PAGE_GLOBAL_SHIFT) |
| 62 | 62 | ||
| 63 | - | ||
| 64 | /* TODO - check that userspace is OK, platform specific functions etc */ |
63 | /* TODO - check that userspace is OK, platform specific functions etc */ |
| 65 | static inline void copy_to_uspace(void *dst, void *src, count_t cnt) |
64 | static inline void copy_to_uspace(void *dst, void *src, count_t cnt) |
| 66 | { |
65 | { |
| 67 | memcpy(dst, src, cnt); |
66 | memcpy(dst, src, cnt); |
| 68 | } |
67 | } |