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 |