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 | } |