| 100,7 → 100,7 |
|---|
| } |
| |
| |
| void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt) |
| void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt) |
| { |
| region_register rr; |
| bool restore_rr = false; |
| 267,7 → 267,7 |
|---|
| * @param tr Translation register. |
| */ |
| void |
| itr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, index_t tr) |
| itr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr) |
| { |
| tr_mapping_insert(va, asid, entry, false, tr); |
| } |
| 281,7 → 281,7 |
|---|
| * @param tr Translation register. |
| */ |
| void |
| dtr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, index_t tr) |
| dtr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr) |
| { |
| tr_mapping_insert(va, asid, entry, true, tr); |
| } |
| 298,7 → 298,7 |
|---|
| */ |
| void |
| tr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtr, |
| index_t tr) |
| size_t tr) |
| { |
| region_register rr; |
| bool restore_rr = false; |
| 353,7 → 353,7 |
|---|
| */ |
| void |
| dtlb_kernel_mapping_insert(uintptr_t page, uintptr_t frame, bool dtr, |
| index_t tr) |
| size_t tr) |
| { |
| tlb_entry_t entry; |
| |
| 382,7 → 382,7 |
|---|
| * @param page Virtual page address including VRN bits. |
| * @param width Width of the purge in bits. |
| */ |
| void dtr_purge(uintptr_t page, count_t width) |
| void dtr_purge(uintptr_t page, size_t width) |
| { |
| asm volatile ("ptr.d %0, %1\n" : : "r" (page), "r" (width << 2)); |
| } |
| 710,6 → 710,37 |
|---|
| page_table_unlock(AS, true); |
| } |
| |
| /** Data access rights fault handler. |
| * |
| * @param vector Interruption vector. |
| * @param istate Structure with saved interruption state. |
| */ |
| void data_access_rights_fault(uint64_t vector, istate_t *istate) |
| { |
| region_register rr; |
| rid_t rid; |
| uintptr_t va; |
| pte_t *t; |
| |
| va = istate->cr_ifa; /* faulting address */ |
| rr.word = rr_read(VA2VRN(va)); |
| rid = rr.map.rid; |
| |
| /* |
| * Assume a write to a read-only page. |
| */ |
| page_table_lock(AS, true); |
| t = page_mapping_find(AS, va); |
| ASSERT(t && t->p); |
| ASSERT(!t->w); |
| if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) { |
| fault_if_from_uspace(istate, "Page fault at %p.", va); |
| panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid, |
| istate->cr_iip); |
| } |
| page_table_unlock(AS, true); |
| } |
| |
| /** Page not present fault handler. |
| * |
| * @param vector Interruption vector. |