Rev 2071 | Rev 2106 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2089 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef KERN_PAGE_H_ |
35 | #ifndef KERN_PAGE_H_ |
36 | #define KERN_PAGE_H_ |
36 | #define KERN_PAGE_H_ |
37 | 37 | ||
38 | #include <arch/mm/asid.h> |
- | |
39 | #include <arch/types.h> |
38 | #include <arch/types.h> |
40 | #include <typedefs.h> |
39 | #include <mm/as.h> |
41 | #include <memstr.h> |
40 | #include <memstr.h> |
42 | 41 | ||
43 | #define PAGE_CACHEABLE_SHIFT 0 |
- | |
44 | #define PAGE_NOT_CACHEABLE_SHIFT PAGE_CACHEABLE_SHIFT |
- | |
45 | #define PAGE_PRESENT_SHIFT 1 |
- | |
46 | #define PAGE_NOT_PRESENT_SHIFT PAGE_PRESENT_SHIFT |
- | |
47 | #define PAGE_USER_SHIFT 2 |
- | |
48 | #define PAGE_KERNEL_SHIFT PAGE_USER_SHIFT |
- | |
49 | #define PAGE_READ_SHIFT 3 |
- | |
50 | #define PAGE_WRITE_SHIFT 4 |
- | |
51 | #define PAGE_EXEC_SHIFT 5 |
- | |
52 | #define PAGE_GLOBAL_SHIFT 6 |
- | |
53 | - | ||
54 | #define PAGE_NOT_CACHEABLE (0<<PAGE_CACHEABLE_SHIFT) |
- | |
55 | #define PAGE_CACHEABLE (1<<PAGE_CACHEABLE_SHIFT) |
- | |
56 | - | ||
57 | #define PAGE_PRESENT (0<<PAGE_PRESENT_SHIFT) |
- | |
58 | #define PAGE_NOT_PRESENT (1<<PAGE_PRESENT_SHIFT) |
- | |
59 | - | ||
60 | #define PAGE_USER (1<<PAGE_USER_SHIFT) |
- | |
61 | #define PAGE_KERNEL (0<<PAGE_USER_SHIFT) |
- | |
62 | - | ||
63 | #define PAGE_READ (1<<PAGE_READ_SHIFT) |
- | |
64 | #define PAGE_WRITE (1<<PAGE_WRITE_SHIFT) |
- | |
65 | #define PAGE_EXEC (1<<PAGE_EXEC_SHIFT) |
- | |
66 | - | ||
67 | #define PAGE_GLOBAL (1<<PAGE_GLOBAL_SHIFT) |
- | |
68 | - | ||
69 | - | ||
70 | /** |
42 | /** |
71 | * Macro for computing page color. |
43 | * Macro for computing page color. |
72 | */ |
44 | */ |
73 | #define PAGE_COLOR(va) (((va) >> PAGE_WIDTH) & ((1 << PAGE_COLOR_BITS) - 1)) |
45 | #define PAGE_COLOR(va) (((va) >> PAGE_WIDTH) & ((1 << PAGE_COLOR_BITS) - 1)) |
74 | 46 | ||
75 | /** Page fault access type. */ |
- | |
76 | enum pf_access { |
- | |
77 | PF_ACCESS_READ, |
- | |
78 | PF_ACCESS_WRITE, |
- | |
79 | PF_ACCESS_EXEC |
- | |
80 | }; |
- | |
81 | typedef enum pf_access pf_access_t; |
- | |
82 | - | ||
83 | /** Operations to manipulate page mappings. */ |
47 | /** Operations to manipulate page mappings. */ |
84 | struct page_mapping_operations { |
48 | typedef struct { |
85 | void (* mapping_insert)(as_t *as, uintptr_t page, uintptr_t frame, int |
49 | void (* mapping_insert)(as_t *as, uintptr_t page, uintptr_t frame, |
86 | flags); |
50 | int flags); |
87 | void (* mapping_remove)(as_t *as, uintptr_t page); |
51 | void (* mapping_remove)(as_t *as, uintptr_t page); |
88 | pte_t *(* mapping_find)(as_t *as, uintptr_t page); |
52 | pte_t *(* mapping_find)(as_t *as, uintptr_t page); |
89 | }; |
- | |
90 | typedef struct page_mapping_operations page_mapping_operations_t; |
53 | } page_mapping_operations_t; |
91 | 54 | ||
92 | extern page_mapping_operations_t *page_mapping_operations; |
55 | extern page_mapping_operations_t *page_mapping_operations; |
93 | 56 | ||
94 | extern void page_init(void); |
57 | extern void page_init(void); |
95 | extern void page_table_lock(as_t *as, bool lock); |
58 | extern void page_table_lock(as_t *as, bool lock); |
96 | extern void page_table_unlock(as_t *as, bool unlock); |
59 | extern void page_table_unlock(as_t *as, bool unlock); |
97 | extern void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, int |
60 | extern void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, |
98 | flags); |
61 | int flags); |
99 | extern void page_mapping_remove(as_t *as, uintptr_t page); |
62 | extern void page_mapping_remove(as_t *as, uintptr_t page); |
100 | extern pte_t *page_mapping_find(as_t *as, uintptr_t page); |
63 | extern pte_t *page_mapping_find(as_t *as, uintptr_t page); |
101 | extern pte_t *page_table_create(int flags); |
64 | extern pte_t *page_table_create(int flags); |
102 | extern void page_table_destroy(pte_t *page_table); |
65 | extern void page_table_destroy(pte_t *page_table); |
103 | extern void map_structure(uintptr_t s, size_t size); |
66 | extern void map_structure(uintptr_t s, size_t size); |