| 78,7 → 78,6 |
|---|
| int anon_page_fault(as_area_t *area, uintptr_t addr, pf_access_t access) |
| { |
| uintptr_t frame; |
| bool dirty = false; |
| |
| if (!as_area_check_access(area, access)) |
| return AS_PF_FAULT; |
| 106,7 → 105,7 |
|---|
| */ |
| for (i = 0; i < leaf->keys; i++) { |
| if (leaf->key[i] == |
| ALIGN_DOWN(addr, PAGE_SIZE)) { |
| ALIGN_DOWN(addr, PAGE_SIZE) - area->base) { |
| allocate = false; |
| break; |
| } |
| 113,8 → 112,7 |
|---|
| } |
| if (allocate) { |
| frame = (uintptr_t) frame_alloc(ONE_FRAME, 0); |
| memsetb(PA2KA(frame), FRAME_SIZE, 0); |
| dirty = true; |
| memsetb((void *) PA2KA(frame), FRAME_SIZE, 0); |
| |
| /* |
| * Insert the address of the newly allocated |
| 144,8 → 142,7 |
|---|
| * the different causes |
| */ |
| frame = (uintptr_t) frame_alloc(ONE_FRAME, 0); |
| memsetb(PA2KA(frame), FRAME_SIZE, 0); |
| dirty = true; |
| memsetb((void *) PA2KA(frame), FRAME_SIZE, 0); |
| } |
| |
| /* |
| 155,7 → 152,7 |
|---|
| */ |
| page_mapping_insert(AS, addr, frame, as_area_get_flags(area)); |
| if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1)) |
| panic("Could not insert used space.\n"); |
| panic("Cannot insert used space."); |
| |
| return AS_PF_OK; |
| } |