Rev 703 | Rev 727 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 703 | Rev 718 | ||
---|---|---|---|
Line 80... | Line 80... | ||
80 | asid_t asid; /**< Address space identifier. */ |
80 | asid_t asid; /**< Address space identifier. */ |
81 | }; |
81 | }; |
82 | 82 | ||
83 | extern as_t * as_create(pte_t *ptl0); |
83 | extern as_t * as_create(pte_t *ptl0); |
84 | extern as_area_t *as_area_create(as_t *as, as_area_type_t type, size_t size, __address base); |
84 | extern as_area_t *as_area_create(as_t *as, as_area_type_t type, size_t size, __address base); |
85 | extern void as_area_load_mapping(as_area_t *a, index_t *pfn); |
85 | extern void as_area_set_mapping(as_area_t *a, index_t vpn, index_t pfn); |
86 | extern int as_page_fault(__address page); |
86 | extern int as_page_fault(__address page); |
87 | extern void as_install(as_t *m); |
87 | extern void as_install(as_t *m); |
88 | 88 | ||
89 | /* |
89 | /* |
90 | * Each architecture should implement this function. |
90 | * Each architecture should implement this function. |