Rev 2927 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 4339 | ||
|---|---|---|---|
| Line 75... | Line 75... | ||
| 75 | 75 | ||
| 76 | ASSERT(addr - area->base < area->backend_data.frames * FRAME_SIZE); |
76 | ASSERT(addr - area->base < area->backend_data.frames * FRAME_SIZE); |
| 77 | page_mapping_insert(AS, addr, base + (addr - area->base), |
77 | page_mapping_insert(AS, addr, base + (addr - area->base), |
| 78 | as_area_get_flags(area)); |
78 | as_area_get_flags(area)); |
| 79 | if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1)) |
79 | if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1)) |
| 80 | panic("Could not insert used space.\n"); |
80 | panic("Cannot insert used space."); |
| 81 | 81 | ||
| 82 | return AS_PF_OK; |
82 | return AS_PF_OK; |
| 83 | } |
83 | } |
| 84 | 84 | ||
| 85 | /** Share address space area backed by physical memory. |
85 | /** Share address space area backed by physical memory. |