| 29,6 → 29,7 |
|---|
| #ifndef __PAGE_H__ |
| #define __PAGE_H__ |
| |
| #include <arch/mm/asid.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| |
| 56,8 → 57,8 |
|---|
| #define PAGE_EXEC (1<<PAGE_EXEC_SHIFT) |
| |
| struct page_operations { |
| void (* mapping_insert)(__address page, __address frame, int flags, __address root); |
| pte_t *(* mapping_find)(__address page, __address root); |
| void (* mapping_insert)(__address page, asid_t asid, __address frame, int flags, __address root); |
| pte_t *(* mapping_find)(__address page, asid_t asid, __address root); |
| }; |
| typedef struct page_operations page_operations_t; |
| |
| 64,8 → 65,8 |
|---|
| extern page_operations_t *page_operations; |
| |
| extern void page_init(void); |
| extern void page_mapping_insert(__address page, __address frame, int flags, __address root); |
| extern pte_t *page_mapping_find(__address page, __address root); |
| extern void page_mapping_insert(__address page, asid_t asid, __address frame, int flags, __address root); |
| extern pte_t *page_mapping_find(__address page, asid_t asid, __address root); |
| extern void map_structure(__address s, size_t size); |
| |
| #endif |