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. |