Rev 3425 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3425 | Rev 4377 | ||
|---|---|---|---|
| Line 150... | Line 150... | ||
| 150 | * Note that TLB shootdown is not attempted as only new information is |
150 | * Note that TLB shootdown is not attempted as only new information is |
| 151 | * being inserted into page tables. |
151 | * being inserted into page tables. |
| 152 | */ |
152 | */ |
| 153 | page_mapping_insert(AS, addr, frame, as_area_get_flags(area)); |
153 | page_mapping_insert(AS, addr, frame, as_area_get_flags(area)); |
| 154 | if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1)) |
154 | if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1)) |
| 155 | panic("Could not insert used space.\n"); |
155 | panic("Cannot insert used space."); |
| 156 | 156 | ||
| 157 | return AS_PF_OK; |
157 | return AS_PF_OK; |
| 158 | } |
158 | } |
| 159 | 159 | ||
| 160 | /** Free a frame that is backed by the anonymous memory backend. |
160 | /** Free a frame that is backed by the anonymous memory backend. |