| 32,6 → 32,7 |
|---|
| #include <arch/mm/asid.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <memstr.h> |
| |
| #define PAGE_CACHEABLE_SHIFT 0 |
| #define PAGE_NOT_CACHEABLE_SHIFT PAGE_CACHEABLE_SHIFT |
| 59,6 → 60,18 |
|---|
| |
| #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) |
| { |
| memcpy(dst, src, cnt); |
| } |
| |
| static inline void copy_to_kernel(void *dst, void *src, count_t cnt) |
| { |
| memcpy(dst, src, cnt); |
| } |
| |
| /** Operations to manipulate page mappings. */ |
| struct page_mapping_operations { |
| void (* mapping_insert)(as_t *as, __address page, __address frame, int flags); |